-
Extend the project file VendingMachine.prj with an import of IUser.interface. Add a monitoring task for the IUser interface.
-
Use the GUI to generate .event files using commands from all interfaces.
-
Apply monitoring to check all .event files. Inspect the coverage, the monitoring results and improve models when needed.