TY  - RPRT
TI  - Correct-by-Construction Design of Timed Systems in Event-B
AU  - Guillaume Dupont
AU  - Jun Sun
PY  - 2026
UR  - https://arxiv.org/abs/2606.05939
ID  - 2606.05939
ER  -