Model based validation techniques for complex control systems | IET Conference Publication | IEEE Xplore