Model Based Testing With Capella