ICSE FOSE 2014 -- Certification of Software-dependent Safety Critical Systems