Fault Tree Reliability Analysis via Squarefree Polynomials Topics: Model Quality Assessment; Reasoning about Models In Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering MODELSWARD - Volume 1, 39-49, 2024 , Rome, Italy