https://123dok.net/document/rz370n7y-machine-learning-and-statistical-verification-for-security.html