Arcaini, P.; Gargantini, A.; Riccobene, E. Using SMT for Dealing With Nondeterminism in ASM-Based Runtime Verification. eceasst 2014, 70.