https://123dok.net/document/qvl96r0y-automating-component-based-testing-from-uml-models.html