Text this: Protocol engineering from Estelle specifications