Markov models for ion channels: versatility versus identifiability and speed | Synapse