Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. - Franck Cassez; Christian Müller 008; Karla Burnett (FSTTCS, 2014)