An Integer Static Analysis for Better Extrapolation in Uppaal. - Sebastian Lund; Jesper van Diepen; Kim G. Larsen; Marco Muñiz; Tobias Ringholm Jørgensen; Tobias Skaarup Daa Andersen (FORMATS, 2021)