The RoSym Project develops modeling languages and tools for the robotics domain in the context of the RoMoSys project. Sub-Projects Vericomp CMCI