publication venue for On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models 2019