A formal specification of the RT-Middleware data transfer protocol | IEEE Conference Publication | IEEE Xplore