Early Validation of Control Software for Automation Plants on the Example of a Seawater Desalination Plant