TY  - RPRT
TI  - Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
AU  - Simon Foster
AU  - James Baxter
AU  - Ana Cavalcanti
AU  - Alvaro Miyazawa
AU  - Jim Woodcock
PY  - 2018
DO  - 10.1007/978-3-030-02146-7_7
UR  - https://arxiv.org/abs/1807.08588
ID  - 1807.08588
ER  -