On Computing Exact WCRT for DAG Tasks | IEEE Conference Publication | IEEE Xplore