Denis Makartetskiy, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Matteo Virgilio, Denise Leri, Paolo Denti, Roberto Finizio (2020) (User-friendly) formal requirements verification in the context of ISO26262, In: ENGINEERING SCIENCE AND TECHNOLOGY, AN INTERNATIONAL JOURNAL, pp. 494-506, ISSN: 2215-0986
