, Bolotov, Alexander
and Getov, Vladimir
State-based behavior specification for GCM systems.
Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon.
Department of Computer Science, University of Liverpool, pp. 5-6.