https://1library.net/document/ye8dxkry-combined-model-test-prioritizing-testing-event-driven-software.html