@book{77356,
	author = {Yoeli, Michael, and Kol, Rakefet. and ebrary, Inc.},
	title = {Verification of systems and circuits using LOTOS, Petri Nets, and CCS},
	publisher = {Wiley-Interscience,},
	year = {c2008.},
	series = {Wiley series on parallel and distributed computing},
	address = {Hoboken, N.J. :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10296542}
}