A posteriori operation detection in evolving software models | Publicación