R.: MoDeST – A modelling and description language for stochastic timed systems (2001)

by P R D’Argenio, H Hermanns, J-P Katoen, Klaren
Venue:PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS