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