J. Esparza

• Logics and Languages for Reliability and Security