Simona Bernardi José Merseguer A UML profile for dependability analysis of real-time embedded systems. 115-124 2007 conf/wosp/2007 WOSP http://doi.acm.org/10.1145/1216993.1217012 db/conf/wosp/wosp2007.html#BernardiM07