Model Based Testing in Software Product Lines