publication venue for Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols 2014