Utilizzo di MATLAB-SIMULINK come sistema di specifica per controlli digitali: teoria ed esempi applicativi