Logics and languages for reliability and security - Esparza, Javier; Spanfelner, Bernd; Grumberg, Orna (NATO science for peace and security series. Information and communication security, 2010)