1. A distributed development environment for embedded software
2. An approach to incremental design of distributed embedded systems. Proceedings of the 38th Design Automation Conference (DAC), Las Vegas, NV, 2001. ACM Press: New York, 2001; 450-455.
3. DOD-STD-2167. Military Standard Defense System Software Development, 1988.
4. ANSI/IEEE Std. 1012-1986. IEEE Standard for Software Verification and Validation Plans, 1986.
5. ANSI/IEEE Std. 829-1983. IEEE Standard for Software Test Documentation, 1983.