Scalable analysis for multi-scale dataflow models