Semi-Markov Switching Vector Autoregressive Model-Based Anomaly Detection in Aviation Systems | Synapse