Control-Flow Modeling with Declare: Behavioral Properties, Computational Complexity, and Tools | IEEE Journals & Magazine | IEEE Xplore