A Formal Methodology for Compositional Cross-Layer Optimization.

Published in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)