Modeling and verification for different types of system of systems using PRISM. - Dongwon Seo; Donghwan Shin 001; Young Min Baek; Jiyoung Song; Wonkyung Yun; Junho Kim; Eunkyoung Jee; Doo-Hwan Bae (SESoS, 2016)

Mutation Analysis for System of Systems Policy Testing. - Wonkyung Yun; Donghwan Shin 001; Doo-Hwan Bae (SESoS/WDES, 2017)