Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation | IEEE Conference Publication | IEEE Xplore