@manual{ titlea = "Prof.", vornamea = "Markus", namea = "Siegle", departmenta = "Fakultät für Informatik", institutea = "INF 3 - Institut für Technische Informatik", titleb = "", vornameb = "", nameb = "", departmentb = "", instituteb = "", titlec = "", vornamec = "", namec = "", departmentc = "", institutec = "", external-funds = "DFG", company = "", project-title = "Modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme", project-abstract = "Im Projekt wird eine neuartige Methodik für die modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme entwickelt und in einem Rahmenwerk aus Software-Werkzeugen implementiert.", proj-beginn = "01.10.2009", proj-end = "31.07.2014", forschungszentrum = "" }