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