Silva, P.
(2003).
 Early Verification of Software Behavior in a Time Interval Framework.
In <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software</em>, (pp. 237-251). Porto Alegre: SBC.
doi:10.5753/sbes.2003.23864