@inproceedings{AKM10,
  author    = "B. Aminof and O. Kupferman and A. Murano",
  title     = "Improved Model Checking of Hierarchical Systems",
  booktitle = vmcai10,
  year      = 2010,
  series    = lncs,
  volume    = 5944,
  pages     = "61-77"
}