Mats Per Erik Heimdahl Safety and Software Intensive Systems: Challenges Old and New. 137-152 2007 FOSE http://doi.acm.org/10.1145/1253532.1254715 conf/icse/2007fose db/conf/icse/fose2007.html#Heimdahl07