← Specification of CAN Network Management