Process Design Engineering: A Methodology for Real-Time Software Development. - S. N. Gaulding; J. D. Lawson (ICSE, 1976)