Modeling business processes for automated crisis management support: Lessons learned | IEEE Conference Publication | IEEE Xplore