A FORMAL FRAMEWORK FOR MULTIPLICITY DETECTION AND ITS IMPLICATIONS IN ROBUST CONTROL OF BIOCHEMICAL NETWORKS | Publicación