Arindam Chakrabarti Luca de Alfaro Thomas A. Henzinger Mariëlle Stoelinga Resource Interfaces. 117-133 http://dx.doi.org/10.1007/978-3-540-45212-6_9 2003 conf/emsoft/2003 EMSOFT db/conf/emsoft/emsoft2003.html#ChakrabartiAHS03