Avinash Sahay Jeffrey J. P. Tsai A. Prasad Sistla An Incremental Verification Algorithm for Real-Time Systems. 203-216 1999 9 International Journal of Software Engineering and Knowledge Engineering 2 http://dx.doi.org/10.1142/S0218194099000139 db/journals/ijseke/ijseke9.html#SahayTS99