https://123dok.net/document/8yd2mklq-modelling-dependability-cautra-subset-french-air-traffic-control.html