Prefer a chat interface with context about you and your work?
Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach