Applying formal specification in industry | Publicación