days
0
-10
-4
hours
-1
-6
minutes
-1
-4
seconds
-5
-7

#nusmv