@conference{dsilva_CAV04,
  title = "A Toolset for Modelling and Verification of GALS Systems",
  author = "S. Ramesh and Sampada Sonalkar and Vijay D'Silva and Naveen Chandra and B. Vijayalakshmi",
  year = "2004",
  booktitle = "16th International Conference on Computer Aided Verification (CAV)",
  editor = "Rajeev Alur and Doron Peled",
  isbn = "3-540-22342-8",
  location = "Boston, U.S.A",
  month = "July",
  pages = "506-509",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/content/1tc5rj1d4ab88akx/?p=7d24d5a25d48407a96bc4cee1c0dfaa3&pi=46",
  volume = "3114",
}