Bibliografia

Principal

• Software Reliability Methods: Doron Peled 2011 Software Reliability Methods,  Doron Peled, Springer, 2001
• Program Proofs: Rustan Leino 2023

Secundária

• Principles of the Spin Model Checker: Mordechai Ben-Ari 2008 Principles of the Spin Model Checker. Mordechai Ben-Ari, Springer, 2008