Title: Biblio RTF Export
Author: Biblio 7.x

L\üttgen G, Von Der Beeck M, Cleaveland R.  2000.  A compositional approach to statecharts semantics. 25