Modeling and analyzing neuromorphic SNNs as discrete event systems | Johannes Leugering | 2022