Interval diagrams for efficient symbolic verification of process networks | IEEE Journals & Magazine | IEEE Xplore