@TechReport{      Bartoletti:2017aa,
  Author        = "Bartoletti, Massimo and Bocchi, Laura and Murgia, Maurizio",
  date-added    = "2017-12-09 09:38:58 +0000",
  date-modified = "2017-12-09 09:39:37 +0000",
  Keywords      = "citesme!",
  Title         = "Compositional Asynchronous Timed Refinement",
  Year          = "2017",
  File          = "tr (0) - a - a - q.pdf"
}

@TechReport{ Bartoletti:2017aa, Author = "Bartoletti, Massimo and Bocchi, Laura and Murgia, Maurizio", date-added = "2017-12-09 09:38:58 +0000", date-modified = "2017-12-09 09:39:37 +0000", Keywords = "citesme!", Title = "Compositional Asynchronous Timed Refinement", Year = "2017", File = "tr (0) - a - a - q.pdf" }