https://9lib.org/document/dzxmeeoy-pietrzykowski-z-modelling-navigators-behaviour-restricted-area-navigation.html