Title: Modeling fault management in communication networks