metroII: A Design Environment for Cyber-Physical Systems