Variable domain transformation for linear PAC analysis of mixed-signal systems | IEEE Conference Publication | IEEE Xplore