TY  - RPRT
TI  - Formal refinement of extended state machines
AU  - Thomas Fayolle
AU  - Marc Frappier
AU  - Régine Laleau
AU  - Frédéric Gervais
PY  - 2016
DO  - 10.4204/eptcs.209.1
UR  - https://arxiv.org/abs/1606.02016
ID  - 1606.02016
ER  -