Uppaal model processing: Provides the data structures, parsers (from Uppaal model XML file over an intermediate dict form to an actual object representation of the Uppaal model), modifiers (of the Uppaal model object), and printer (from Uppaal model object over an intermediate dict form to a Uppaal model XML file) for Uppaal models https://collaborating.tuhh.de/e16/project/codes/model-checking/tools/uppaal/python/uppaal\_model