Ayman Murshed, Mohammed Abuteir, Roman Obermaisser. Simulation and Validation Framework for Safety-Critical Applications in System-of-Systems. In 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Torino, Italy, September 4-7, 2018. pages 376-383, IEEE, 2018. [doi]