Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen. Distributed Simulation of Formal Models in System of Systems Engineering. In Sumitra Reddy, editor, 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014. pages 211-216, IEEE, 2014. [doi]