Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir: Logical Characterisations and Compositionality of Input-Output Conformance Simulation. SOFSEM 2017: 37-48