1. Allen, R., and Garlan, D. Formalizing architectural connection. In Proceedings of the 16thInternational Conference on Software Engineering (May 1994), pp. 71–80.
2. Anlauff, M., Kutter, P., and Pierantonio, A. Formal Aspects of and Development Environments for Montages. In 2nd International Workshop on the Theory and Practice of Algebraic Specifications (Amsterdam, 1997), M. Sellink, Ed., Workshops in Computing, Springer.
3. Anlauff, M., and Sünbül, A. Component based software engineering for telecommunication software. In SCI/ISAS Conference, Orlando, Florida (1999). (to appear).
4. Batory, D. Intelligent components and software generators. Tech. Rep. 97-06, Department of Computer Sciences, University of Texas at Austin, April 1997. Invited presentation to the Software Quality Institute Symposium on Software Reliability.
5. Binns, P., and Vestal, S. Formal real-time architecture specification and analysis. In Tenth IEEE Workshop on Real-Time Operating Systems and Software (New York, NY, May 1993).