Silva, Paulo.
" Early Verification of Software Behavior in a Time Interval Framework" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (8 outubro 2003)