System Modeling and Fault Tree Analysis Based on AltaRica | IEEE Journals & Magazine | IEEE Xplore