@article{SAC-J-2003-BorgerCR04,
	author        = "Egon Börger and Alessandra Cavarra and Elvinia Riccobene",
	doi           = "10.1016/j.infsof.2003.09.009",
	journal       = "{Information & Software Technology}",
	number        = 5,
	pages         = "287--292",
	title         = "{On formalizing UML state machines using ASM}",
	volume        = 46,
	year          = 2004,
}