Testowanie oparte na modelu dla systemów zbudowanych z systemów