Model-based testing areas, tools and challenges: A tertiary study