modulov. - Modelovanie a simulácie v prostredí MatLab Simulink s následným generovaním C kódu. - Validácia a verifikácia softvéru pomocou...