Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. - Avrunin, George S.; Dillon, Laura K.; Wileden, Jack C.; Riddle, William E. (IEEE Transactions on Software Engineering, 1986)