[IEEE 2011 Sixth International Conference on Availability, Reliability and Security (ARES) - Vienna, Austria (2011.08.22-2011.08.26)] 2011 Sixth International Conference on Availability, Reliability and Security - An Approach to Model-based Development of Secure and Reliable SystemsFernandez, Eduardo B.; Washizaki, Hironori; Yoshioka, Nobukazu; VanHilst, Michael · 2011