Towards composition of conformant systems. - Abbas, Houssam; Fainekos, Georgios (CoRR, 2015)