Monitoring Mobile Cyber-Physical Systems using Model-Driven Engineering