Analysis of Temporal Properties of Data Flow Control Systems