Causal Signal Temporal Logic for the Environmental Control and Life Support System's Fault Analysis and Explanation. - Ziquan Deng; Samuel P. Eshima; James Nabity; Zhaodan Kong (IEEE Access, 2023)