Hichem Boudali Pepijn Crouzen Boudewijn R. Haverkort Matthias Kuntz Mariëlle Stoelinga Architectural dependability evaluation with Arcade. 512-521 2008 DSN http://doi.ieeecomputersociety.org/10.1109/DSN.2008.4630122 conf/dsn/2008 db/conf/dsn/dsn2008.html#BoudaliCHKS08