@book{38455,
	author = {Cassandras, Christos G. and Lafortune, Stephane},
	title = {Introduction to discrete event systems /},
	publisher = {Springer,},
	year = {2008},
	address = {New York :},
	edition = {2nd ed.}
}