A new approach to modular liveness analysis conceived for large logic controllers' design | IEEE Journals & Magazine | IEEE Xplore