Quantitative Measure for Discrete Event Supervisory Control - Ray, Ashok; Phoha, Shashi; Phoha, Shashi P.; Phoha, Vir V.; Ray, Asok (Springer New York, 2005)