The paper Executing Certified Model Transformations on Apache Spark has been accepted for publication at the SLE 2021 conference. The paper is co-written with Jolan Philippe (main author), Massimo Tisi and Gerson SynyƩ.