Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481) | Publicación