ESProNa: Constraint-Based Declarative Business Process Modeling | IEEE Conference Publication | IEEE Xplore