Automated performance and dependability evaluation using model checking (2002)

by C Baier, B Haverkort, H Hermanns, J Katoen
Venue:In Proc. Performance 2002