@inproceedings{dAHS02,
author =      {L. de Alfaro and T. A. Henzinger and M. I. A. Stoelinga},
title =       {Timed Interfaces},
booktitle =   {{EMSOFT 02}: Proc. of 2nd 
                  Intl.\ Workshop on Embedded Software},
editor =      {A. Sangiovanni-Vincentelli and J. Sifakis},
publisher =   {Springer},
pages =        "108--122",
year =        2002,
series =      lncs,
}