https://123dok.net/document/oz1mmw8z-a-framework-for-modeling-the-consequences-of-the-propagation-of-automation-degradation-application-to-air-traffic-control-systems.html