Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures — Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic | Kutubxona