3 S. Bernardi José Merseguer R. R. Lutz 2010 Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile Eighth European Dependable Computing Conference (EDCC'10) Valencia, Spain IEEE 95-104 2010 978-0-7695-4007-8