Model Based Verification of Spiking Neural Networks in Cyber Physical Systems | IEEE Journals & Magazine | IEEE Xplore