Weißleder, StephanStephanWeißlederSchlingloff, HolgerHolgerSchlingloff2022-03-042022-03-042012https://publica.fraunhofer.de/handle/publica/227757en004006Automatic model-based test generation from UML state machinesbook article