1. Atlee, J., Gannon, J. (1991) “State-Based Model Checking of Event-Driven System Requirements”. In: ACM SIGSOFT Conference on Software for Critical Systems. December, pp. 16–28
2. Bartlett, P. F., Robinson, P. F., Hains, T. A., Simms, M. J. “Use of Structured Methods for Real-Time Peripheral Firmware”. In: Hewlett-Packard Journal, August 1989, pp. 79–86
3. Blumfoe, R., Hecht, A. (1988) “Executing Real-Time Structured Analysis Specifications”. In: ACM SIGSOFT Software Engineering Notes, Vol. 13, no. 13, July, pp. 32–40
4. Bruyn, W., Jensen, R. Keskar, D., Ward, P. (1988) “ESML: An Extended Systems Modeling Language Based on the Data Flow Diagram”. In: ACM SIGSOFT Software Engineering Notes Vol. 13, no. 1, January, pp. 58–67
5. Buhr, R. J. A. (1984) “System Design with Ada”. Prentice-Hall