Improved BDD-based discrete analysis of timed systems - Nguyen, T.K. (2013)
10.1007/978-3-642-32759-9_28