Concern-based specification and runtime verification of declarative process models. - S. Montague (2012)