Text this: Um processo de sintese de sistemas reativos