Statistical Testing within the Scope of the System Validation of a RIS/PACS System. - Stefan Holpp; Helmut Goetz; Winfried Dulz (Software Engineering (Workshops), 2008)

Calculating the usage probabilities of statistical usage models by constraints optimization. - Winfried Dulz; Reinhard German; Stefan Holpp; Helmut Götz (AST, 2010)

A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models. - Winfried Dulz; Stefan Holpp; Reinhard German (MBT@ETAPS, 2010)