The article "Bounded DBM-based clock state construction for timed automata in Uppaal" by Sascha Lehmann and Sibylle Schupp has been accepted for publication in the International Journal on Software Tools for Technology Transfer (STTT).
The full article is available in the Springer Open Access area at https://link.springer.com/article/10.1007/s10009-022-00667-x