Denis Hatebur Maritta Heisel A Foundation for Requirements Analysis of Dependable Software. 311-325 2009 SAFECOMP http://dx.doi.org/10.1007/978-3-642-04468-7_25 conf/safecomp/2009 db/conf/safecomp/safecomp2009.html#HateburH09