A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models.

Jian-Wan Ding Liping Chen Fanli Zhou A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models. 450-458 2006 21 J. Comput. Sci. Technol. 3 http://dx.doi.org/10.1007/s11390-006-0450-9 db/journals/jcst/jcst21.html#DingCZ06