@book{30848,
	author = {Cassandras, Christos G. and Lafortune, Stephane},
	title = {Introduction to discrete event systems},
	publisher = {Springer Science+Business Media, Inc.,},
	year = {2008},
	address = {New York:},
	edition = {2nd},
	note = {"Purchased under NBHM grant for the year 2009-2010"}
}