P. Inverardi, and M. Tivoli. Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture, 2804, Springer Verlag, (2003)
T. Ziadi, B. Traverson, and J. Jézéquel. Proceedings of the Workshop in Software Model Engineering, ?Springer-Verlag, Dresden, Germany, part of UML'2002 conference.(October 2002)
F. SEYLER, and P. ANIORTE. Proceedings of the Workshop in Software Model Engineering, ?Springer-Verlag, Dresden, Germany, part of UML'2002 conference.(October 2002)
E. Dashofy, A. van der Hoek, and R. Taylor. Proceedings of the 24th International Conference on Software Engineering (ICSE2002), Orlando, Florida, (2002)
E. Bruneton, T. Coupaye, and J. Stefani. Seventh International Workshop on Component-Oriented Programming (WCOP 2002), (2002)Available at http://research.microsoft.com/\~cszypers/events/WCOP2002/.