Maintaining Formal Models of Living Guidelines Efficiently | Publicación