@inproceedings{1027,
  author = {Janos Sztipanovits and Ray Carnes and Amit Misra},
  title = {Finite-State temporal Automata Modeling for Fault Diagnosis},
  year = {1993},
  journal = {Computing in Aerospace, 9th AIAA Conference},
  address = {Sand Diego},
  language = {eng},
}