Performability analysis of an avionics-interface. - Lutz Twele; Holger Schlingloff; Helena Szczerbicka (SMC, 1998)

Entwicklung einer Petri-Netz-Klasse zur effizienten Analyse quantitativer und qualitativer Eigenschaften komplexer Systeme. - Lutz Twele (2004)