Javier Esparza Bernd Spanfelner Orna Grumberg Logics and Languages for Reliability and Security 2010 IOS Press NATO Science for Peace and Security Series - D: Information and Communication Security 25 978-1-60750-099-5 http://www.booksonline.iospress.nl/Content/View.aspx?piid=16080 db/series/natosec/natosec25.html