Reynolds, O., García-Domínguez, A., & Bencomo, N. (2020). Automated provenance graphs for models@run.time. In E. Guerra, & L. Iovino (Eds.), . https://doi.org/10.1145/3417990.3419503