Synchronization of System Architecture and Safety Models: a Proof of Concept | IEEE Conference Publication | IEEE Xplore