https://123dok.net/document/yd72ml1y-agatha-tts-from-uml-modeling-to-test-case-generation-and-execution.html