An Open Software Architecture for the Verification of Industrial Controllers