Modest — a modelling and description language for stochastic timed systems (2001)

by P D’Argenio, H Hermanns, J-P Katoen, R Klaren
Venue:In Proc. of Process Algebra and Probabilistic Methods. Performance Modeling and Verification. Joint International Workshop, PAPM-PROBMIV 2001, volume 2165 of LNCS