Testing software through real-time model of the plant an experimental example | IEEE Conference Publication | IEEE Xplore