Online Discovery of Declarative Process Models from Event Streams | IEEE Journals & Magazine | IEEE Xplore