Quantitative Measure for Discrete Event Supervisory Control - Ray, Ashok (Springer New York, 2005)