https://123dok.net/document/y4w58v5q-the-steam-boiler-controller-problem-in-esterel-and-its-verification-by-means-of-symbolic-analysis.html