Reynolds, Owen, García-Domínguez, Antonio, Bencomo, Nelly, "Automated provenance graphs for models@run.time", , 2024