Mathematical modeling of a tethered bilayer sensor containing gramicidin a ion channels | IEEE Conference Publication | IEEE Xplore