https://123dok.net/document/lq5jvx3y-an-application-of-smc-to-continuous-validation-of-heterogeneous-systems.html