Task-based process modeling for policy making in smart cities | IEEE Conference Publication | IEEE Xplore