Silva, P.
2003 out  8.  Early Verification of Software Behavior in a Time Interval Framework. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :