https://123dok.net/document/zwv18jxv-formalizing-visibility-characteristics-in-hierarchical-systems.html