Sound and mechanised compositional verification of input-output conformance. - Sampaio, Augusto; Nogueira, Sidney; Mota, Alexandre; Isobe, Yoshinao (Software Testing: Verification & Reliability, 2014)