A modular state exploration and compatibility checking of UML dynamic diagrams | IEEE Conference Publication | IEEE Xplore