Return to Article Details Models of Testable Timed Moore Finite State Machines Download Download PDF