Bug fix and adding labels to the uppaal model