Stem miracl$ (all stems)
2 papers:
IFM-2010-Joshi #programming- Programming with Miracles (RJ), p. 27.
SEFM-2010-WeiWB #design- A Timed Model of Circus with the Reactive Design Miracle (KW, JW, AB), pp. 315–319.
IFM-2010-Joshi #programming
SEFM-2010-WeiWB #design