Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle | Publicación