B. Thomas Adler Luca de Alfaro Leandro Dias da Silva Marco Faella Axel Legay Vishwanath Raman Pritam Roy Ticc: A Tool for Interface Compatibility and Composition. 59-62 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_8 db/conf/cav/cav2006.html#AdlerASFLRR06