Possum: An Animator for the SUM Specification Language.

Daniel Hazel, Paul A. Strooper, Owen Traynor

Browse the full APSEC paper archive.