Time Wizard: A Design and Assessment Tool for Real-Time Applications. - Sérgio Vanderlei Cavalcante; D. J. Kinniment (RTS, 1996)

On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation. - Paulo Abadie Guedes; Sérgio Vanderlei Cavalcante (WCET, 2003)