Business process modeling for a highway agency - a demonstration with planning and programming activities | IEEE Conference Publication | IEEE Xplore