UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions | IEEE Conference Publication | IEEE Xplore