Forghani, Behdad (1990) Automatic test suite derivation from Estelle specifications. Masters thesis, Concordia University.