1. D. Gaski, F. Vahid, S. Narayan, and J. Gong, “Specification and design of embedded systems,” Prentice-Hall, Inc, Englewood Cliffs, NJ, 1994.
2. B. Bose, M.E. Tuna, and S.D. Johnson, “System factorization in codesign: A case study of the use of formal techniques to achieve hardware-software decomposition,”Proceedings of the International Conference on Computer Design, pp. 458–461, Oct. 1993.
3. B. Bose, M.E. Tuna, and S.D. Johnson, “Continuations in hardware-software codesign,”Proceedings of the International Conference on Computer Design, pp. 264–269, Oct. 1994.
4. P. Chou, R.B. Ortega, and G. Borriello, “Interface co-synthesis techniques for embedded systems,”Proceedings of the International Conference on Computer-Aided Design, pp. 566–72, Nov, 1995.
5. T.-Y. Yen and W. Wolf “Communication synthesis for distributed embedded systems,”Proceedings of the International Conference on Computer-Aided Design, pp. 288–294, Nov. 1995.