Aggiunta la parte di visualizzazione tempo al modelchecker nella sandbox