Paulo Silva. 2003.
 Early Verification of Software Behavior in a Time Interval Framework. In <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software</em>, outubro 08, 2003, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 237-251. DOI: <a href="https://doi.org/10.5753/sbes.2003.23864">https://doi.org/10.5753/sbes.2003.23864</a>.