Sigrid Gürgens, Gimena Pujol. Specification of Security and Dependability Properties. In Spyros Kokolakis, Antonio Maña Gómez, George Spanoudakis, editors, Security and Dependability for Ambient Intelligence. Volume 45 of Advances in Information Security, pages 49-67, Springer, 2009. [doi]