https://123dok.net/document/yng2ookz-the-design-of-a-hsmm-based-operator-state-monitoring-display.html