Semi-Markov Switching Vector Autoregressive Model-based Anomaly Detection in Aviation Systems