Comparative Evaluation of Semi-Supervised Anomaly Detection Algorithms on High-Integrity Digital Systems | IEEE Conference Publication | IEEE Xplore