[1] SENTILLES S, STEPAN P, CARLSON J, et al.Integration of extra-functional properties in component models [C]//The 12th International Symposium on Component Based Software Engineering, 2009:184-197.
[2] VAN OMMERING R, VAN DER LINDEN F, KRAMER J, et al.The Koala component model for consumer electronics software[J].Computer, 2000, 33(3):78-85.
[3] MAASKANT H.A robust component model for consumer electronic products[J].Philips Research, 2005, 13(3):167-192.
[4] KOZIOLEK H.Parameter dependencies for reusable per-formance specifications of software components [D].Ol-denburg:Oldenburg University, 2008.
[5] AKERHOLM M, CARLSON J, FREDRIKSSON J, et al.The SAVE approach to component-based development of vehicular systems [J].Journal of Systems and Software, 2007, 80(5):655-667.
[6] BORDE E, CARLSON J.Toward verified synthesis of ProCom, a component model for real-time embedded systems[J].IEEE Transactions on Software Engineering, 2011, 20(24):129-138.
[7] VULGARAKIS A, SURYADEVARA J, CARLSON J, et al.Formal semantics of the ProCom real-time component mo-del[C]//The 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009:478-485.