P. Černý, T. Henzinger, and A. Radhakrishna. Theoretical Computer Science, 413 (1):
21 - 35(2012)Quantitative Aspects of Programming Languages (QAPL 2010).
S. Weiner, M. Hasson, O. Kupferman, E. Pery, and Z. Shevach. Automated Technology for Verification and Analysis, volume 8172 of Lecture Notes in Computer Science, Springer International Publishing, (2013)