Title: Logics and Languages for Reliability and Security