@book{236699,
	author = {Drusinsky, Doron. and ProQuest (Firm)},
	title = {Modeling and verification using UML statecharts},
	publisher = {Newnes,},
	year = {c2006.},
	address = {Burlington, MA :},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=294269}
}