@incollection{Chakrabarti:Alfaro:Henzinger:Stoelinga:2003,
    Author = {Chakrabarti, Arindam and Alfaro, Luca and Henzinger, Thomas A. and Stoelinga, Mari{\"e}lle},
    BookTitle = {Embedded Software},
    Editor = {Alur, Rajeev and Lee, Insup},
    File = {Resource Interfaces - Chakrabarti, Alfaro, Henzinger, Stoelinga (0) (0) - a - a - l.pdf},
    ISBN = {978-3-540-20223-3},
    Keywords = {energy games and readme},
    Pages = {117-133},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Resource Interfaces},
    URL = {http://dx.doi.org/10.1007/978-3-540-45212-6\_9},
    Volume = {2855},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45212-6\_9},
    date-added = {2014-01-13 15:15:39 +0000},
    date-modified = {2014-05-09 09:22:36 +0000},
    doi = {10.1007/978-3-540-45212-6_9}
}

@incollection{Chakrabarti:Alfaro:Henzinger:Stoelinga:2003, Author = {Chakrabarti, Arindam and Alfaro, Luca and Henzinger, Thomas A. and Stoelinga, Mari{\"e}lle}, BookTitle = {Embedded Software}, Editor = {Alur, Rajeev and Lee, Insup}, File = {Resource Interfaces - Chakrabarti, Alfaro, Henzinger, Stoelinga (0) (0) - a - a - l.pdf}, ISBN = {978-3-540-20223-3}, Keywords = {energy games and readme}, Pages = {117-133}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Resource Interfaces}, URL = {http://dx.doi.org/10.1007/978-3-540-45212-6_9}, Volume = {2855}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45212-6_9}, date-added = {2014-01-13 15:15:39 +0000}, date-modified = {2014-05-09 09:22:36 +0000}, doi = {10.1007/978-3-540-45212-6_9} }