Role U). 4. Related Users discuss impact and examine proposed time.

Heisel and C. Siihl. Fonnal specification of safety-critical software with Z and real-time CSP. In E. Schoitsch, editor, Proceedings 15th SAFECOMP, pp. 31-45. Springer-Verlag London, 1996. [12] C. Heitmeyer, R. Jeffords, and B. Lebaw. Automated consistency checking of requirements specifications. ACM TOSEM, 5(3):231-261, July 1996. [13] K. Huff. Software process modelling. In A. Fuggetta and A. Wolf, editors, Software Process, Trends in Software 4, chapter 2, pp. 1-24. Wiley, 1996. [14] L. Osterweil.