TY - JOUR T1 - Estimating the feasibility of transition paths in extended finite state machines JO - AUTOMAT SOFTW ENG PY - 2011/01/01 AU - Derderian K AU - Hierons RM AU - Harman M AU - Guo Q ED - DO - DOI: 10.1007/s10515-009-0057-9 VL - 17 IS - 1 SP - 33 EP - 56 Y2 - 2025/05/20 ER -