%0 Journal Article %B Theoretical Computer Science %D 2015 %G eng %T Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation %V 599C %8 09/2015 %& 34