On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems | IEEE Conference Publication | IEEE Xplore