modular methods in the supervisory control of discrete event systems (en Inglés)

hill, richard · vdm verlag