@InProceedings{	  EsparzaJancarMiller08acsd,
  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",
  booktitle	= "2010 10th International Conference on Application of
		  Concurrency to System Designi (ACSD'06)",
  issn		= "1550-4808",
  year		= "2006",
  pages		= "47--56",
  publisher	= "IEEE Computer Society",
  address	= "Los Alamitos, CA, USA",
  doi		= "10.1109/ACSD.2006.17"
}