A Web-based, collaborative, computer-aided sequential control design tool | IEEE Journals & Magazine | IEEE Xplore