Analysing parametrised designs by non-standard interpretation | IEEE Conference Publication | IEEE Xplore