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
STS is an Institute of Hamburg University of Technology and the
School of Electrical Engineering, Computer Science and Mathematics.
Under the slogan "Software, Technology and Systems (STS)",
the institute combines fundamental research on descriptions and
dependencies of software systems with practical issues and applications
from both engineering and social sciences.
