| Title | Finite-State temporal Automata Modeling for Fault Diagnosis |
| Publication Type | Conference Paper |
| Year of Publication | 1993 |
| Authors | Sztipanovits, J., R. Carnes, and A. Misra |
| Conference Name | Computing in Aerospace, 9th AIAA Conference |
| Conference Location | Sand Diego |