@Article{	  EsparzaJancarMiller08,
  author	= "Esparza, Javier and Jan\v{c}ar, Petr and Miller,
		  Alexander",
  title		= "On the Complexity of Consistency and Complete State Coding
		  for Signal Transition Graphs",
  journal	= "Fundamenta Informaticae",
  volume	= "86",
  number	= "3",
  year		= "2008",
  pages		= "227--253",
  publisher	= "IOS Press",
  address	= "Amsterdam, The Netherlands, The Netherlands",
  note		= "Conference version: Proc. ACSD 2006, 47--56 (2006)"
}