selected publications chapter Developing Self-Organizing Robotic Cells Using Organic Computing Principles. Springer eBooks. 253-273. 2011 conference paper Ensuring correct self-reconfiguration in safety-critical applications by verified result checking 2011