The results of the 19481 Dagstuhl Seminar on “Composing Model-Based Analysis Tools” are now available as a book.

The book contains two chapters co-authored by GEODES professors: Exploiting Results of Model-Based Analysis Tools by Houari Sahraoui, and Living with Uncertainty in Model-Based Development by Michalis Famelis.

The book offers foundations, challenges and concepts for composition and analysis in model-driven engineering, with case studies and tool examples.