Peter Liggesmeyer Oliver Mäckel Quantifying the Reliability of Embedded Systems by Automated Analysis. 89-96 2001 conf/dsn/2001 DSN http://computer.org/proceedings/dsn/1101/11010089abs.htm db/conf/dsn/dsn2001.html#LiggesmeyerM01