Runtime Verification Based on Register Automata - Grigore, R; Distefano, D; Petersen, R; Tzevelekos, N (Springer, 2013)