Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries.
Beatriz A. SánchezAthanasios ZolotasHoracio Hoyos RodriguezDimitris S. KolovosRichard F. PaigeJustin C. CooperJason HampsonPublished in: Softw. Syst. Model. (2021)