Describir: Syntéza systémov s obmedzeniami 2