@book{34284,
	title = {Discrete Event Dynamic Systems},
	publisher = {Springer US},
	address = {New York, USA},
	url = {https://www.springer.com/journal/10626}
}