% testcases, results and discussion on results:

% 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.