@Article{	  Lohrey03tcs,
  title		= "Realizability of high-level message sequence charts:
		  closing the gaps",
  journal	= "Theoretical Computer Science",
  year		= "2003",
  volume	= "309",
  number	= "1-3",
  pages		= "529--554",
  publisher	= "Elsevier Science Publishers Ltd.",
  address	= "Essex, UK",
  issn		= "0304-3975",
  doi		= "10.1016/j.tcs.2003.08.002",
  author	= "Markus Lohrey"
}