PAC3 – Formalització del sistema