A domain-specific language for task handlers generation, applying discrete controller synthesis