Testing High-Reliability Software for Continuous Casting Steel Plants - Experiences and Lessons Learned from Siemens VAI | IEEE Conference Publication | IEEE Xplore