Safe Compositional Equation-based Modeling of Constrained Flow Networks. - Nate Soule; Azer Bestavros; Assaf J. Kfoury; Andrei Lapets (EOOLT, 2011)