Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System