Consistency Verification of UML Diagrams Based on Process Bisimulation | IEEE Conference Publication | IEEE Xplore