Executing real-time structured analysis specifications. - Robert D. Blumofe; A. Hecht (ACM SIGSOFT Softw. Eng. Notes, 1988)