https://123dok.net/document/zpn14n40-correct-scalable-verification-concurrent-robotic-systems-insights-formalisms.html