https://1library.net/document/q73xljry-model-based-testing-framework-for-trusted-platform-module.html