https://123dok.net/document/z1d44ow3-high-assurance-on-cyber-physical-interactive-systems.html