Lakshmi Manasa Shankara Narayanan Krishna Kumar Nagaraj Updatable Timed Automata with Additive and Diagonal Constraints. 407-416 2008 CiE http://dx.doi.org/10.1007/978-3-540-69407-6_44 conf/cie/2008 db/conf/cie/cie2008.html#ManasaKN08