Silva, P.
2003 Oct  8.  Early Verification of Software Behavior in a Time Interval Framework. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :