% Write your model in the input language of the selected MBT tools, generate
% tests, and execute
-% them on your SUT. Explain your observations and analyse the test results.
\ No newline at end of file
+% them on your SUT. Explain your observations and analyse the test results.