Runtime Verification using VALOUR. - Shaun Azzopardi; Christian Colombo 001; Jean-Paul Ebejer; Edward Mallia; Gordon J. Pace (RV-CuBES, 2017)