A general framework for dependability modelling coupling discrete-event and time-driven simulation. (July 2020)