MoDeST: A Compositional Modeling Formalism for Hard and Softly Timed Systems (2006)

by H C Bohnenkamp, P R D’Argenio, H Hermanns, J-P Katoen
Venue:IEEE TSE