Dependability of safety-critical systems: contribution of the synchronous approach | IEEE Conference Publication | IEEE Xplore