Michael Glaß Martin Lukasiewycz Thilo Streichert Christian Haubelt Jürgen Teich Interactive presentation: Reliability-aware system synthesis. 409-414 2007 conf/date/2007 DATE https://dl.acm.org/citation.cfm?id=1266452 db/conf/date/date2007.html#GlassLSHT07