Title: Expert systems for fault tree synthesis