https://123dok.net/document/wq26x9rz-a-comparison-of-automatic-protocol-generation-techniques.html