@Article{	  Lohrey02concur,
  author	= "Lohrey, Markus",
  title		= "Safe realizability of high-level message sequence charts",
  year		= "2002",
  volume	= "2421",
  pages		= "177--192",
  publisher	= "Springer",
  address	= "Berlin",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "CONCUR 2002 - Concurrency Theory. 13th International
		  Conference, Brno, Czech Republic, August 20-23, 2002.
		  Proceedings",
  doi		= "10.1007/3-540-45694-5_13"
}