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.] 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 Use of formal methods for verification and optimization of fault lists in the scope of ISO26262Augusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian2018 Design and Verification Conference (DVCON) Europe : [proceedings]2018 / 6 p. : ill https://repository.tudelft.nl/islandora/object/uuid%3Adbd7f22d-0324-45f5-9180-8fe3fc95a9ce