An on-Line Model Verification System for Model-Based Control Algorithms. - Tomasz Klopot; Piotr Skupin; Witold Klopot; Piotr Gacki (CDVE, 2015)