V. Bos;J. J. T. Kleijn
-;-
Declaration of unknowns in DAE-based hybrid system specification
ACM Transactions on Modeling and Computer Simulation (TOMACS)