UPPAAL Modeling and Simulation

I need an expert to model and simulate a system in UPPAAL based on my detailed specification.

Requirements:
- Both modeling and simulation in UPPAAL
- Work from a detailed specification document

Ideal Skills and Experience:
- Proficiency in UPPAAL
- Strong background in formal verification
- Experience with the system type (real-time, distributed, or hybrid)

Please share relevant portfolios and experience.