https://5dok.net/document/7q0971vq-modelling-embedded-systems-by-non-monotonic-refinement.html