@InProceedings{gt_vmt_postproc,
  author =	 {V. {\v{R}}eh\'{a}k and P. Slov\'{a}k and J. Strej\v{c}ek and L. H\'{e}lou\"{e}t},
  title =	 "{Decidable Race Condition and Open Coregions in HMSC}",
  series =       "Electronic Communications of the EASST",
  volume =       "29",
  year =	 "2010",
  pages = 	 "12",
  issn =         "1863-2122",
  booktitle =	 "Postproceedings of Graph Transformation and Visual Modeling Techniques 2010 (GT-VMT 2010)."
}