@article {335,
	title = {HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications},
	year = {2014},
	author = {Manuel Gim{\'e}nez and Mariano M. Moscato and Carlos Gustavo L{\'o}pez Pombo and Frias, Marcelo F.}
}