Logics and Languages for Reliability and Security - Esparza, J. (IOS Press,)