Reactive systems in physical environments : compositional modelling and framework verification - Nadjm-Tehrani, Simin (Department of Computer and Information Science, Linköping University, 1994)