@article{TOOLS-EUROPE-2007-LanoC,
	author        = "Kevin Lano and David Clark",
	doi           = "10.5381/jot.2007.6.9.a2",
	journal       = "{Journal of Object Technology}",
	number        = 9,
	pages         = "35--51",
	title         = "{Direct Semantics of Extended State Machines}",
	volume        = 6,
	year          = 2007,
}