Gerald Sonneck Erwin Schoitsch Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. 39-45 1999 conf/safecomp/1999 SAFECOMP http://link.springer.de/link/service/series/0558/bibs/1698/16980039.htm db/conf/safecomp/safecomp99.html#SonneckS99