Silva, P.
(2003).
 Early Verification of Software Behavior in a Time Interval Framework.
In <em>Proceedings of the 17th Brazilian Symposium on Software Engineering</em>, (pp. 237-251). Porto Alegre: SBC.
doi:10.5753/sbes.2003.23864