Software engineering practices for control system reliability | IEEE Conference Publication | IEEE Xplore