@Bibtex-file{SE/formal_mathods.bib,
  title =        "{M}. Mousavi's Bibtex Collection Formal Methods",
  author =       "M. R. Mousavi",
  email =        "smr_mousavi@yahoo.com",
  address =      "Department of Computer Science,\\
                 Eindhoven University of Technology,\\
                 Eindhoven, The Netherlands",
  supported =    "yes",
  keywords =     "Formal Methods, Coordination Languages, Real-Time
                 Systems",
}