Arcaini, P., Gargantini, A. and Riccobene, E. (2014) “Using SMT for dealing with nondeterminism in ASM-based runtime verification”, Electronic Communications of the EASST, 70. doi: 10.14279/tuj.eceasst.70.970.