Cellular ion channel-pump system modeling using switched stochastic differential equations | IEEE Conference Publication | IEEE Xplore