P. Silva.
" Early Verification of Software Behavior in a Time Interval Framework", in <em>Proceedings of the 17th Brazilian Symposium on Software Engineering</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>.