Uma abordagem de engenharia reversa para extração do projeto de sistemas de software crítico embarcado. - Rovedy Aparecida Busquim e Silva (2013)

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)

Cybersecurity Assessment Framework for Digital Interface Between Safety and Security at Nuclear Power Plants. - Rovedy Aparecida Busquim e Silva; José Roberto Castilho Piqueira; J. J. Cruz; R. P. Marques (Int. J. Crit. Infrastructure Prot., 2021)