Balasubramanian, D. (2013). . In N. Piterman & Smolka, S. (Eds.), International Conference on Tools and Algorithms for the Construction and Analysis of Systems (pp. 523-529). Berlin, Heidelberg: Springer Berlin Heidelberg. Retrieved from https://link.springer.com/chapter/10.1007/978-3-642-36742-7_36