HS Hong,
SD Cha, YR Kwon - Proceedings Twenty-First Annual …, 1997 - ieeexplore.ieee.org
The SCR method models a system using a set of variables and state machines whose
behaviour is described by tabular notations. This paper proposes an interleaving semantics …