1. P. Armenise. A Structured Approach to Program Optimization. IEEE Transactions on Software Engineering, 15(2):101-108, February 1989.
2. Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, and Alberto Sangiovanni-Vincentelli. Formal Verification of Embedded Systems based on CFSM Networks. In Proc. 33rd Design Automation Conference, 1996.
3. Jon Bentley. Writing Efficient Programms. Prentice Hall, Engelwood Cliffs, N.J., 1982.
4. Barry Boehm. A Spiral Model of Program Development and Enhancement. Software Engineering Notes, 11(4):14-24, 1986.
5. Grady Booch, Ivar Jacobson, and James Rum-baugh. The Unified Modeling Language User Guide. The Addison-Wesley Object Technology Series. Addison-Wesley, October 1998.