https://softwarepatternslexicon.com/scala/testing-and-design-patterns/model-based-testing/