A topological formal treatment for scenario-based software specification of concurrent real-time systems - Miriam C. B. Alves; Christine C. Dantas; Nanci Naomi Arai; Rovedy B. da Silva (CoRR, 2008)

Formal Verification With Frama-C: A Case Study in the Space Software Domain. - Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; José Maria Parente de Oliveira; Jorge Sousa Pinto (IEEE Trans. Reliab., 2016)