Sanduka, Imad: A modelling framework for systems-of-systems with real-time and reliability requirements. 2015