Gang Yang, Xingshe Zhou, Yuanyuan Lian. Constraint-Based Consistency Checking for Multi-View Models of Cyber-Physical System. In 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017. pages 370-376, IEEE, 2017. [doi]
Abstract is missing.