A simple bookkeeping scheme for computing sensitivities of symbolic transfer functions | IEEE Journals & Magazine | IEEE Xplore