A tool for visual and formal modelling of software designs | Publicación