Semi-symbolic analysis of mixed-signal systems including discontinuities | IEEE Conference Publication | IEEE Xplore