Integrated modular avionics anomaly detection based on symbolic time series analysis | IEEE Conference Publication | IEEE Xplore