Dataflow programming in CAL—balancing expressiveness, analyzability, and implementability | IEEE Conference Publication | IEEE Xplore