Counterfactual Explanation for Multivariate Times Series Using A Contrastive Variational Autoencoder | IEEE Conference Publication | IEEE Xplore