Composing Model-Based Analysis Tools