1. Allen, R., 1997. A formal approach to software architecture. Carnegie Mellon, School of Computer Science, Issued as CMU Technical Report CMU-CS-97-144.
2. Alves, C., Castro, J., 2001. Cre: A systematic method for cots components selection. In: SBES’01.
3. A software model for flexible and safe adaptation of mobile code programs;Amano,2002
4. Enabling autonomic behavior in systems software with hot swapping;Appavoo;IBM System Journal,2003
5. Finite Transition Systems. International Series in Computer Science;Arnold,1994