TY - RPRT TI - Towards composition of conformant systems AU - Houssam Abbas AU - Georgios Fainekos PY - 2015 UR - https://arxiv.org/abs/1511.05273 ID - 1511.05273 ER -