Title: Formal-language theoretic techniques to solve design and fault management problems in computer network protocols and other discrete-event systems