Bunus P. and Fritzson P. "Methods for Structural Analysis and Debugging of Modelica Models." In Methods for Structural Analysis and
Debugging of Modelica Models, 2nd International Modelica Conference, Proceedings.
Oberpfaffenhofen, Germany: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR),
pp. 157-165, 2002. http://www.modelica.org/events/Conference2002/papers/p21_Bunus.pdf.Bunus
P. and Fritzson P. "A Debugging Scheme for Declarative Equation Based Modeling
Languages." http://www.ida.liu.se/~petbu/publications/peterBPADL2002.pdf.Dulmage,
A. L. and Mendelsohn, N. S. "Coverings of Bipartite Graphs."
Canad. J. Math.10, 517-534, 1958.