Modeling and diagnosis of timed discrete event systems-a factory automation example
Yi-Liang Chen,Gregory Provan