Model checking of Scenario-Aware Dataflow with CADP | IEEE Conference Publication | IEEE Xplore