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