H. M. Nyew, N. Onder, S. Onder, and Z. Wang, “A First-Order Logic Based Framework for Verifying Simulations”, AAAI, vol. 27, no. 1, pp. 1635-1636, Jun. 2013.