Portable Runtime Verification with Smartphones and Optical Codes. - Kim Lavoie; Corentin Leplongeon; Simon Varvaressos; Sébastien Gaboury; Sylvain Hallé (RV, 2014)