@misc{indiciaef0fc68111c28,
  title = {HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications},
  author = {Manuel Giménez and Mariano M. Moscato and Carlos G. Lopez Pombo and Marcelo F. Frias},
  year = {2014},
  doi = {10.4204/eptcs.139.7},
  url = {https://arxiv.org/abs/1401.0974},
  note = {Source identifier: 1401.0974}
}