Mohamed, Atef ; Zulkernine, Mohammad (2009) Quantifying Safety in Software Architectural Designs. [Conference Item]