Zaslať SMS: Syntéza systémov s obmedzeniami 1