J. Cámara and R. De-lemos, Evaluation of resilience in self-adaptive systems using probabilistic model-checking, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.53-62, 2012.
DOI : 10.1109/SEAMS.2012.6224391

B. Eberhardinger, G. Anders, H. Seebach, F. Siefert, A. Knapp et al., An approach for isolated testing of self-organization algorithms, Software Eng. for Self-Adaptive Systems III, 2016.

B. Eberhardinger, H. Seebach, A. Knapp, and W. Reif, Towards Testing Self-organizing, Adaptive Systems, Proc. 26 th IFIP Int. Conf. Testing Software and Systems (ICTSS), pp.180-185, 2014.
DOI : 10.1007/978-3-662-44857-1_13
URL : https://hal.archives-ouvertes.fr/hal-01405285

H. Elmaraghy and L. Monostori, Variety management in manufacturing cyber-physical production systems: Roots, expectations and r&d challenges, Procedia CIRP, vol.17, pp.9-13, 2014.

Y. Falcone, M. Jaber, T. H. Nguyen, M. Bozga, and S. Bensalem, Runtime Verification of Component-Based Systems, Proc. 9 th Int. Conf. Software Engineering and Formal Methods (SEFM), pp.204-220, 2011.
DOI : 10.1007/978-3-642-16612-9_9
URL : https://hal.archives-ouvertes.fr/hal-00642969

E. M. Fredericks, A. J. Ramirez, and B. H. Cheng, Towards run-time testing of dynamic adaptive systems, 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.169-174, 2013.
DOI : 10.1109/SEAMS.2013.6595504

M. Güdemann, F. Nafz, F. Ortmeier, H. Seebach, and W. Reif, A Specification and Construction Paradigm for Organic Computing Systems, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp.233-242, 2008.
DOI : 10.1109/SASO.2008.66

A. Habermaier, B. Eberhardinger, H. Seebach, J. Leupolz, and W. Reif, Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#, 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp.128-133, 2015.
DOI : 10.1109/SASOW.2015.26

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, 2003.
DOI : 10.1109/MC.2003.1160055

C. G. Lee and S. C. Park, Survey on the virtual commissioning of manufacturing systems, Journal of Computational Design and Engineering, vol.1, issue.3, pp.213-222, 2014.
DOI : 10.7315/JCDE.2014.021

R. De-lemos, Software Engineering for Self-Adaptive Systems II, chap. Software Eng. for Self-Adaptive Systems: A Second Research Roadmap, pp.1-32, 2013.

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

C. D. Nguyen, Testing Techniques for Software Agents, 2009.

C. D. Nguyen, A. Marchetto, and P. Tonella, Automated oracles: an empirical study on cost and effectiveness, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pp.136-146, 2013.
DOI : 10.1145/2491411.2491434

A. J. Ramirez, A. C. Jensen, B. H. Cheng, and D. B. Knoester, Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.568-571, 2011.
DOI : 10.1109/ASE.2011.6100127

U. Richter, M. Mnif, J. Branke, C. Müller-schloer, and H. Schmeck, Towards a generic observer/controller architecture for organic computing, p.2006, 2006.

A. Schiendorfer, B. Eberhardinger, W. Reif, and E. André, Back-to-Back Testing a Soft Constraint Model for a Smart Exhibition Space, Proc. 14 th Int. Wsh. Constraint Modelling and Reformulation (ModRef), 2015.

H. Seebach, F. Nafz, J. P. Steghöfer, and W. Reif, How to Design and Implement Self-organising Resource-Flow Systems, pp.145-161, 2011.
DOI : 10.1007/978-3-0348-0130-0_9

M. A. Vouk, Back-to-back testing, Information and Software Technology, vol.32, issue.1, pp.34-45, 1990.
DOI : 10.1016/0950-5849(90)90044-R

Z. Zhang, J. Thangarajah, and L. Padgham, Model Based Testing for Agent Systems, Proc. 8 th Int. Conf. Autonomous Agents and Multiagent Systems (AAMAS), pp.1333-1334, 2009.
DOI : 10.1145/1082473.1082817