Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, MarcERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]2012 / [10 p.] https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, Marc6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012, Touluse, France : book of abstracts2012 / p. 147 https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1

Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systemsGuin, Jishu; Vain, Jüri; Tsiopoulos, LeonidasMODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 20252025 / p. 297–304 http://doi.org/10.5220/0013322100003896 https://www.scitepress.org/PublicationsDetail.aspx?ID=TcnFenKjQbg=&t=1 Conference proceedings at Scopus Article at Scopus