Title: Composing Model-Based Analysis Tools