HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. - Manuel Giménez; Mariano M. Moscato; Carlos Gustavo López Pombo; Marcelo F. Frias (LAFM, 2013)