Closure via Functional Dependence Simplification-special issue CMMSE 2010