@misc{indiciaece9ad141a707, title = {EXPLAINABLE AND TRUSTWORTHY DIAGNOSTICS ACHIEVABLE THROUGH PROCESS-BASED AUTOMATED REASONING}, author = {Vilim, R. and Nguyen, T. and Ponciroli, R.}, year = {2021}, doi = {10.13182/t124-34543}, url = {https://www.osti.gov/biblio/1895358}, note = {Source identifier: 1895358} }