P. Černý, T. Henzinger, und 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, und Z. Shevach. Automated Technology for Verification and Analysis, Volume 8172 von Lecture Notes in Computer Science, Springer International Publishing, (2013)