Integrated vetronics systems: mixed integrity vetronics verification and validation