DOKTORI (PhD) ÉRTEKEZÉS. Elosztott rendszerek formális modelleken alapuló tervezési eljárásainak vizsgálata