@inproceedings{LATA-2007-TorreNPP,
	author        = "Salvatore La Torre and Margherita Napoli and Mimmo Parente and Gennaro Parlato",
	booktitle     = "{Proceedings of the First International Conference on Language and Automata Theory and Applications}",
	pages         = "485--496",
	publisher     = "{Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona}",
	title         = "{Verification of Succinct Hierarchical State Machines}",
	volume        = "Report 35/07",
	year          = 2007,
}