GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics | Publicación