Model Characterization of Gapless Edge Modes of Topological Insulators Using Intermediate Brillouin-Zone Functions | Synapse