Leveraging Generative and Probabilistic Models for Diagnostics of Cyber-Physical Systems | Synapse