Efficient parametric model checking using domain-specific modelling patterns.

Radu Calinescu, Kenneth Johnson, Colin Paterson

Browse the full ICSE paper archive.