Cyber/physical co-design in practice: Case studies in metroII | IEEE Conference Publication | IEEE Xplore