Using formal methods to develop a complex information system | Publicación