Verifikácia stratégií riadenia pružného výrobného systému : Diplomová práca - Kostolanský, Jaroslav (STU v Bratislave MtF KAIA, 1999)