Coupling numerical & symbolic techniques for dynamic data validation | IET Conference Publication | IEEE Xplore