https://1library.net/document/qm82vx4z-volume-automated-verification-of-critical-systems.html