Uses a real time environment to verify the error recovery mechanism of the Xpress Transfer Protocol (XTP) version 3.6, which has been specified in the Estelle specification language. Builds two modules to interact with the XTP Estelle specification module.