1. Adams, J.K., Thomas, D.E.: The Design of Mixed Hardware/Software Systems. In: Design Automation Conference (1996)
2. Alexander, P., Kamath, R., Barton, D.: System Specification in Rosetta. In: IEEE Engineering of Computer Base Systems Symposium. Nashville, Edinburgh, UK (April 2000)
3. Allen, R., Garlan, D.: Formalizing Architectural Connection. In: Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 1994, pp. 71–80 (1994)
4. Bhattacharyya, S.S., et al.: Heterogeneous Concurrent Modeling and Design in Java. Memorandum UCB/ERL M03/27, EECS, University of California, Berkeley, CA USA. 94720, July 16 (2003)
5. Binns, P., Vestal, S.: Formal real-time architecture specification and analysis. In: Tenth IEEE Workshop on Real-Time Operation Systems and Software, New York, NY (May 1993)