2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)