P. Arcaini, A. Gargantini, and E. Riccobene, “Using SMT for dealing with nondeterminism in ASM-based runtime verification”, ECEASST, vol. 70, Nov. 2014.