Logical characterisations, rule formats and compositionality for input-output conformance simulation | Publicación