INSiDER: Incorporation of system and safety analysis models using a dedicated reference model.