Experience with a graph-based propagation programming tool | IEEE Conference Publication | IEEE Xplore