UPPAAL Guard Room Implementation

I'm seeking a professional with extensive experience in formal methods, specifically using UPPAAL, to implement a Guard Room based on abstract formal specifications I will provide.

Please note that the specifications will be abstract, requiring a deep understanding and careful interpretation of the details.

Ideal Skills & Experience:
- Proficient in UPPAAL
- Experience with formal methods
- Ability to interpret abstract specifications
- Detail-oriented
- Good understanding of security systems