Executable Requirements Specification: Formal Semantics of Live Activity Diagrams | IEEE Conference Publication | IEEE Xplore