@article {DBLP:journals/ipl/ChicanoA08,
	title = {Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models},
	journal = {Inf. Process. Lett.},
	volume = {106},
	number = {6},
	year = {2008},
	pages = {221{\textendash}231},
	doi = {10.1016/j.ipl.2007.11.015},
	url = {http://dx.doi.org/10.1016/j.ipl.2007.11.015},
	author = {Francisco Chicano and Enrique Alba}
}
