Damm, W., Disch, S., Hagemann, W., Scholl, C., Waldmann, U., & Wirtz, B.(2011). Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems (ATR76). Saarbrücken: SFB/TR 14 AVACS.