Anthony Cant Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004 SCS CRPIT 47 Australian Computer Society 2005 db/conf/scs/scs2004.html