MODELS 2013 camera-ready paper available

The camera-ready copy of our paper Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications, accepted at MODELS 2013, is available for preview (PDF).