Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I | IEEE Conference Publication | IEEE Xplore