Alek Radjenovic Modelling to Safety. 162-167 2005 conf/ewsa/2005 EWSA https://doi.org/10.1007/11494713_11 db/conf/ewsa/ewsa2005.html#Radjenovic05