Statistics for Protocol engineering from Estelle specifications