A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams | IEEE Conference Publication | IEEE Xplore