Bátori Gábor; Theisz Zoltán; Asztalos Domonkos: Model driven testing of component based systems : [abstract].