Testability Metrics for Extended Finite State Machines