@InProceedings{acsd2012,
  author =	 "M. Bezd\v{e}ka and O. Bouda and {\v{L}}. Koren\v{c}iak and M. Madzin and V. {\v{R}}eh\'{a}k",
  title =	 "{Sequence Chart Studio}",
  booktitle =	 "Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD'12)",
  year =	 2012,
  publisher =	 "IEEE",
  volume =       "", 
  pages =        "148--153",
  DOI =          "10.1109/ACSD.2012.25"
}