Specifica formale dei protocolli Safety Layer e Connection Manager