Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. - Beatriz A. Sánchez; Athanasios Zolotas; Horacio Hoyos Rodriguez; Dimitris S. Kolovos; Richard F. Paige; Justin C. Cooper; Jason Hampson (Softw. Syst. Model., 2021)