[SBJJB17] Jiyoung Song, Young-Min Baek, Mingyu Jin, Eunkyoung Jee and Doo-Hwan Bae. SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. In Proc. 2017 24th Asia-Pacific Software Engineering Conference (APSEC'17). 2017. [Presents a slicing technique, based on PRISM models, for statistical model checking of system-of-system models.]
Links: [Google] [Google Scholar]