A generic approach for static code analysis of PLC-programs / submitted by Christian Huber, BSc