Verifikácia riadenia pružných výrobných systémov simulačnými metódami : Dizertačná práca - Vážan, Pavel (STU v Bratislave MTF, 2001)