-rods. It is also included in \tt{3.xml}.
-Here \tt{t, r1} and \tt{r2} are simple \tt{clock}s tracking the
-temperature and idle times for rod1 and rod2. When querying for
-\tt{Pr [<=100] (<> v.overheating)} \UPPAAL{} gives a probability interval of
-$[0.0486043,0.148433]$ with a confidence of 0.95. The chance of overheating
-in 100 time units thus lies between ±0\% and ±1\%.
+rods. It is also included in \tt{3.xml}. Here \tt{t, r1} and \tt{r2} are
+simple \tt{clock}s tracking the temperature and idle times for rod1 and rod2.
+When querying for \tt{Pr [<=100] (<> v.overheating)} \UPPAAL{} gives a
+probability interval of $[0.0486043,0.148433]$ with a confidence of $0.95$. The
+chance of overheating in 100 time units thus lies between $\pm0\%$ and
+$\pm1\%$.