A new approach to modular liveness analysis conceived for large logic controllers' design. - Luca Ferrarini; Marco Narduzzi; Massimo Tassan-Solet (IEEE Trans. Robotics Autom., 1994)