S. B. Akers, Binary decision diagrams, IEEE Transactions on Computers, C, vol.27, issue.6, pp.509-516, 1978.

A. Benveniste, T. Bourke, B. Caillaud, J. Colaço, C. Pasteur et al., Building a hybrid systems modeler on synchronous languages principles, Proceedings of the IEEE, vol.106, issue.9, pp.1568-1592, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01879026

A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter et al., Structural analysis of multi-mode DAE systems, Proc. of the 20th International Conference on Hybrid Systems: Computation and Control, pp.253-263, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01521918

A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter et al., Multi-mode DAE models -challenges, theory and implementation, Computing and Software Science -State of the Art and Perspectives, vol.10000, pp.283-310, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02333603

D. Broman and J. G. Siek, Modelyze: a gradually typed host language for embedding equation-based modeling languages, 2012.

R. E. Bryant, Graph-based algorithms for boolean function manipulation, IEEE Transactions on Computers, C, vol.35, issue.8, pp.677-691, 1986.

B. Caillaud, M. Malandain, and J. Thibault, Implicit structural analysis of multimode DAE systems, 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020), 2020.
URL : https://hal.archives-ouvertes.fr/hal-02476541

S. L. Campbell and C. W. Gear, The index of general nonlinear DAEs, Numerische Mathematik, vol.72, issue.2, pp.173-196, 1995.

A. D. Domínguez-garcía and S. Trenn, Detection of impulsive effects in switched DAEs with applications to power electronics reliability analysis, Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, pp.5662-5667, 2010.

I. S. Duff, A. M. Erisman, and J. K. Reid, Direct Methods for Sparse Matrices, 2017.

J. Edmonds and R. M. Karp, Theoretical improvements in algorithmic efficiency for network flow problems, Journal of the ACM, vol.19, issue.2, pp.248-264, 1972.

H. Elmqvist, T. Henningsson, and M. Otter, Systems modeling and programming in a unified environment based on Julia, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, pp.198-217, 2016.

H. Elmqvist, S. E. Mattsson, and M. Otter, Modelica extensions for multi-mode DAE systems, Proceedings of the 10th International Modelica Conference, 2014.

P. Fritzson, Principles of Object Oriented Modeling and Simulation with Modelica 3.3, 2014.

A. V. Goldberg and R. Tarjan, A new approach to the maximum flow problem, Proceedings of the eighteenth annual ACM symposium on Theory of computing -STOC '86, 1986.

C. Y. Lee, Representation of switching circuits by binary-decision programs, Bell System Technical Journal, vol.38, issue.4, pp.985-999, 1959.

D. Liberzon and S. Trenn, Switched nonlinear DAE: Solution theory, Lyapunov functions, and stability, Automatica, vol.48, issue.5, pp.954-963, 2012.

C. C. Pantelides, The consistent initialization of differential-algebraic systems, SIAM Journal on Scientific and Statistical Computing, vol.9, issue.2, pp.213-231, 1988.

A. Pothen and C. Fan, Computing the block triangular form of a sparse matrix, ACM Trans. Math. Softw, vol.16, issue.4, pp.303-324, 1990.

J. D. Pryce, A simple structural analysis method for DAEs, BIT Numerical Mathematics, vol.41, issue.2, pp.364-394, 2001.

N. Robertson and P. D. Seymour, Graph minors. II. Algorithmic aspects of tree-width, Journal of Algorithms, vol.7, issue.3, pp.309-322, 1986.

R. Tarjan, Depth-first search and linear graph algorithms, 12th Annual Symposium on Switching and Automata Theory, 1971.