A compositional modelling and analysis framework for stochastic hybrid systems - Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter (Formal methods in system design, 2013)
Keywords: Algorithms; CAE) and Design; Circuits and Systems; Computer-Aided Engineering (CAD; Electrical Engineering; Engineering; Software Engineering/Programming and Operating Systems; Modelling; Abstraction; Analysis; Stochastic hybrid automata; Process calculus