Model Checking UML Activity Diagrams with SPIN | IEEE Conference Publication | IEEE Xplore