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