Constraint-Based Consistency Checking for Multi-View Models of Cyber-Physical System | IEEE Conference Publication | IEEE Xplore