Research on modeling and development process for passive interoperability testing | IEEE Conference Publication | IEEE Xplore