@inproceedings {1378,
	title = {On the deadlock analysis of multithreaded control software},
	booktitle = {16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA{\textquoteright}2011)},
	year = {2011},
	month = {09/2011},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Toulouse, France},
	isbn = {978-1-4577-0016-3},
	author = {J.P. L{\'o}pez-Grao and J.M. Colom}
}

