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

Probability, Parallelism and the State Space Exploration Problem. - William J. Knottenbelt; Mark Mestern; Peter G. Harrison; Pieter S. Kritzinger (Computer Performance Evaluation (Tools), 1998)

A probabilistic dynamic technique for the distributed generation of very large state spaces. - William J. Knottenbelt; Peter G. Harrison; Mark Mestern; Pieter S. Kritzinger (Perform. Evaluation, 2000)