@inproceedings{CdAHS03,
author =      {A. Chakabarti and L. de Alfaro and T. A. Henzinger and 
                  M. I. A. Stoelinga},
title =       {Resource Interfaces},
booktitle =   {{EMSOFT 03}: 3rd Intl.\ Workshop on Embedded Software},
editor =      {R. Alur and I. Lee},
publisher =   {Springer},
year =        2003,
series =      lncs,
}