A well-defined Estelle specification for the automatic test generation | IEEE Journals & Magazine | IEEE Xplore