Performance and reliability model checking and model construction (2000)

by H Hermanns
Venue:In Formal Methods for Industrial Critical Systems, FMICS 2000, GMD Report 91