1. Adaili, F., Mosbahi, O., Khalgui, M., Bouzefrane, S.: Ra2dl: new flexible solution for adaptive aadl-based control components. In: 5th International Conference on Pervasive and Embedded Computing and Communication Systems (2015)
2. Lecture Notes in Computer Science;C Angelov,2005
3. Baudry, B., Fleurey, F., Jezequel, J.-M., Le Traon, Y.: Automatic test case optimization using a bacteriological adaptation model: application to .net components. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, ASE 2002, pp. 253–256 (2002)
4. Costa, P., Coulson, G., Mascolo, C., Picco, G.P., Zachariadis, S.: The runes middleware: a reconfigurable component-based approach to networked embedded systems. In: IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2005, vol. 2, pp. 806–810, September 2005
5. Khalgui, M.: Nces-based modelling and ctl-based verification of reconfigurable embedded control systems. Comput. Ind. 61(3), 198–212 (2010)