ByNobleID
    Slides paper Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems (Kobeissi, Piriou, Faure) - IFAC WC 2017 | NobleID