A tertiary study on model-based testing areas, tools and challenges: Preliminary results