https://www.eviltester.com/modelling/tote-test-operate-test-exit-for-software-testing/