Model Checking UML Activity Diagrams in FDR | IEEE Conference Publication | IEEE Xplore