Symbolic precompilation of piecewise-linear behavioral models for efficient simulation of dual time scale systems | IEEE Conference Publication | IEEE Xplore