Interactive Hybrid Computer Design of a Signaling System for a Metro Network. - Alain Janelle; Michael P. Polis (IEEE Trans. Syst. Man Cybern., 1980)