Links for uppaal-creator