Syntéza systémov s obmedzeniami 1 - Huba, Mikuláš (STU v Bratislave, 2003)