@article {233,
	title = {Intelligent Testing of Traffic Light Programs: Validation in Smart Mobility Scenarios},
	journal = {Mathematical Problems in Engineering},
	volume = {2016},
	year = {2016},
	chapter = {3871046},
	doi = {10.1155/2016/3871046},
	url = {http://dx.doi.org/10.1155/2016/3871046},
	author = {Javier Ferrer and Jos{\'e} Garc{\'\i}a-Nieto and Enrique Alba and Francisco Chicano}
}
