P. Silva.
"Early Verification of Software Behavior in a Time Interval Framework", in <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software</em>, Manaus/AM, 2003, pp. 237-251, doi: <a href="https://doi.org/10.5753/sbes.2003.23864">https://doi.org/10.5753/sbes.2003.23864</a>.