@book{232557,
	author = {Drusinsky, Doron. and ebrary, Inc.},
	title = {Modeling and verification using UML statecharts},
	publisher = {Newnes,},
	year = {c2006.},
	address = {Burlington, MA :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10186222}
}