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