https://9dok.net/document/zlgx03dr-specification-languages-for-stutter-invariant-regular-properties.html