https://9dok.net/document/q05jrd9v-extended-abstract-paper-submitted-fpsac.html