Foster, Simon David orcid.org/0000-0002-9889-9514 <https://orcid.org/0000-0002-9889-9514>, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 <https://orcid.org/0000-0002-0831-1976> et al. (1 more author)    Stateful-Failure Reactive Designs in Isabelle/UTP.  Working Paper.         (Unpublished)