Quantitative Measure for Discrete Event Supervisory Control - Ray, Asok. (Springer New York : Imprint: Springer, 2005)