Tool Support for the CircusRefinement Calculus. - Alessandro Cavalcante Gurgel; Cristiano Gurgel de Castro; Marcel Vinícius Medeiros Oliveira (ABZ, 2008)

CRefine: Support for the Circus Refinement Calculus. - Marcel Vinícius Medeiros Oliveira; Alessandro Cavalcante Gurgel; Cristiano Gurgel de Castro (SEFM, 2008)

EVINCED: Integrity Verification Scheme for Embedded Systems Based on Time and Clock Cycles. - Cristiano Gurgel de Castro; Sergio de Medeiros Camara; Luiz Fernando Rust da Costa Carmo; Davidson Rodrigo Boccardo (DASC/PiCom/DataCom/CyberSciTech, 2017)