Performance Modelling with the Formal Specification Language SDL. - M. Bütow; Mark Mestern; C. Schapiro; Pieter S. Kritzinger (FORTE, 1996)