Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research | IEEE Conference Publication | IEEE Xplore