A Formal Methodology to Test Complex Heterogeneous Systems | Publicación