Text this: FSM-based conformance testing methods: A survey annotated with experimental evaluation