MarQ: Monitoring at Runtime with QEA. - Giles Reger; Helena Cuenca Cruz; David E. Rydeheard (TACAS, 2015)