Yahong Guo, Xiaohong Huang, Ming Di, Yan Ma: Research on modeling and development process for passive interoperability testing. CCIS 2014: 732-737