How Can Simple Model Test Complex System Model Based Testing of Large-Scale Software Victor Kuliamin [email protected] ISP RAS, Moscow.