Equivalence of regular matrix pencil DAE systems by bisimulation | IEEE Conference Publication | IEEE Xplore