MoDeST: A compositional modeling formalism for hard and softly timed systems (0)

by H C Bohnenkamp, P R D’Argenio, H Hermanns, J-P Katoen
Venue:IEEE Transactions on Software Engineering