1. Becker, M., Gilham, L., Smith, D. R. Planware II: Synthesis of schedulers for complex resource systems. Tech. rep. Kestrel Technology (2003)
2. Boehm, B.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)
3. Coglio, A.: Toward automatic generation of provably correct Java Card applets. In: Proc. 5th ECOOP Workshop on Formal Techniques for Java-like Programs (July 2003)
4. Green, C.: Application of theorem proving to problem solving. In: Proceedings of the First International Joint Conference on Artificial Intelligence, pp. 219–239 (1969)
5. Green, C., Westfold, S.: Experiments suggest high level formal models and automated code synthesis significantly increase dependability. Tech. Rep. KES.U.00.8, Kestrel Institute (January 2001)