Verifying responsiveness for open systems by means of conformance checking - Müller, Richard 1984- (Binationale Promotion: Berlin, Humboldt-Univ. und Eindhoven, Techn. Univ., Diss, 2014, 2014)
Literaturverz. S. 257 - 277