Anjali Joshi Mats Per Erik Heimdahl Behavioral Fault Modeling for Model-based Safety Analysis. 199-208 2007 conf/hase/2007 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2007.25 db/conf/hase/hase2007.html#JoshiH07