Describir: Návrh riadiaceho systému skladu v PVS