@conference{dsilva_EMSOFT07,
  title = "Existential abstractions for distributed reactive systems via syntactic transformations",
  author = "Vijay D'Silva and Sampada Sonalkar and S. Ramesh",
  year = "2007",
  booktitle = "Proceedings of the 7th ACM \& IEEE international conference on Embedded software (EMSOFT)",
  copyright = "ACM",
  editor = "Christoph M. Kirsch and Reinhard Wilhelm",
  isbn = "978-1-59593-825-1",
  location = "Salzburg, Austria",
  month = "September",
  pages = "240 - 248",
  doi = "10.1145/1289927.1289965",
}