Bisimulation -Based Abstraction of Sodium-Channel Dynamics in Cardiac-Cell Models
The super-family of nuclear receptors