Describir: Simulačná podpora riadenia PVS :