Logical Characterisations and Compositionality of Input-Output Conformance Simulation | Publicación