@inproceedings{dAS03,
author      = {L. de Alfaro and M. I. A. Stoelinga},
title       = {Interfaces: a game-theoretic framework to reason about
               component-based systems},
booktitle   = {{EMSOFT 03}: 2nd Intl Workshop on Foundations of Coordination
               Languages and Software Architectures},
publisher   = {Elsevier},
year        = 2003,
series      = entcs,
}