Modest - a modeling and description language for stochastic timed systems (2001)

by P D'Argenio, H Hermanns, J-P Katoen, R Klaren
Venue:In Proc. of the PAPMPROBMIV Joint Intl. Workshop, LNCS 2165