Kapalı

creating a uppaal model