Text this: Verifikácia stratégií riadenia vybraného PVS simulačnými metódami :