Method to assess and optimise dependability of complex macro-systems: Application to a railway signalling system · Study