EPI Consortium members published “Cross-level co-simulation and verification of an automatic transmission control on embedded processor” in the Software Engineering and Formal Methods. SEFM2020 Collocated Workshops.
Here you can find a link to an open access version of the article:
This project has received funding from the European High Performance Computing Joint Undertaking (JU) under Framework Partnership Agreement No 800928 and Specific Grant Agreement No 101036168 (EPI SGA2). The JU receives support from the European Union’s Horizon 2020 research and innovation programme and from Croatia, France, Germany, Greece, Italy, Netherlands, Portugal, Spain, Sweden, and Switzerland.