Müller, Paul (2017) Modeling and Verification for a Scalable Neuromorphic Substrate. [Dissertation]