1. Architecture specifications for complex real-time dependable systems;Binns;Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems,1995
2. Controlh: An algorithm specification language and code generator;Englehart;IEEE Control Systems Magazine,1995
3. Ada software integrated- development/verification system (asids) final report for 8/31/92 - 12/31/95, wl-tr-96-3047, flight dynamics directorate, wright laboratory, air force materiel command, wright patterson afb;Krueger,1995