Silva, Paulo.
"Early Verification of Software Behavior in a Time Interval Framework." <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software,
Manaus/AM, 2003</em>. SBC, 2003,  
pp.237-251.