https://123dok.net/document/zwvkjxvq-formal-method-for-mission-controller-generation-of-a-mobile-robot.html