Specification of Robotic Systems on an Example of Visual Servoing. - Cezary Zielinski; Tomasz Kornuta; Mateusz Boryn (SyRoCo, 2012)