2 works on record
Composing Model-Based Analysis Tools
Software Technologies : Applications and Foundations