Testing Proportional-Integral-Derivative (PID) Controller with Metamorphic Testing | IEEE Conference Publication | IEEE Xplore