An educational tool for implementing reactive systems following a goal‐driven approach | Publicación