@article{article, title = {{An Applicability 爆料公社 of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification}}, publisher = {{Korean Institute of Information Scientists and Engineers}}, url = {{}}, year = {{2017}}, month = {{4}}, author = {{Kim J and Shin D and Bae D-H}}, doi = {{10.5626/ktcp.2017.23.4.256}}, volume = {{23}}, journal = {{KIISE Transactions on Computing Practices}}, issue = {{4}}, pages = {{256-261}}, note = {{Accessed on 2025/09/04}}}