Discussion on: “Formal Specification Method for Systems Automation” | Publicación