Convex necessary and sufficient conditions for model (in)validation under SLTV structured uncertainty | IEEE Conference Publication | IEEE Xplore