@book{1719224,
	author = {Huang},
	title = {Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=9143294}
}