Per aprire la risorsa fai click sul link * Exercise: 5_2 Logging of TAS and SUT