Programų sistemų modeliavimas ir verifikavimas (Privalomasis)