A tertiary study on model-based testing areas, tools and challenges : preliminary results - Villalobos-Arias, Leonardo