@inproceedings{DHJ+08,
title = {Interface theories with component reuse },
author = {Doyen, Laurent and Henzinger, Thomas A. and Jobstmann, Barbara and Petrov, Tatjana},
year = {2008},
booktitle = {Proceedings of the 8th ACM {\&} IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008},
pages = {79-88},
publisher = {ACM},
team = {DCS},
}