Towards automated provenance collection for runtime models to record system history | Publicación