David Harel, Rami Marelly. Specifying and executing behavioral requirements: the play-in/play-out approach. Software and Systems Modeling, 2(2):82-107, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.