What certificates should (or must) have the HMI and PLC to be suitable for the naval use? Where to get a manual explaining this question?