Verifying Deadlock and Nondeterminism in Activity Diagrams | IEEE Conference Publication | IEEE Xplore