Paulo Sérgio Muniz Silva. Early Verification of Software Behavior in a Time Interval Framework. In Guilherme Horta Travassos, Altigran Soares da Silva, editors, Proceedings of the 17th Brazilian Symposium on Software Engineering, SBES 2003, Manaus, AM, Brazil, October 8-10, 2003. pages 237-251, SBC, 2003. [doi]
Abstract is missing.