1. A formal basis for architectural connection;Allen;ACM Trans. Software Eng. Methodol.,1997
2. R.J. Allen, D. Garlan, Formalizing architectural connection, Proc. 16th Internat. Conf. on SW Engineering, Sorrento, Italy, 1994.
3. Architecture Description Markup Language (ADML). The Open Group, http://www.opengroup.org/tech/architecture/adml/adml_home.htm.
4. P. Binns, S. Vestal, Formal real-time architecture specification and analysis, Proc. 10th IEEE Workshop on Real-Time OS and Software, New York, May 1993.
5. The UML User Guide;Booch,1999