Formal Specification And Validation In Production Plants | Publicación