Konstantinos Mokos Panagiotis Katsaros Nick Bassiliades Vangelis Vassiliadis Maxime Perrotin Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. 405-414 2008 JCKBSE http://dx.doi.org/10.3233/978-1-58603-900-4-405 conf/jckbse/2008 db/conf/jckbse/jckbse2008.html#MokosKBVP08