Mohamed G. Gouda Khe-Sing The Modeling physical layer protocols using communicating finite state machines. 54-62 1985 SIGCOMM http://doi.acm.org/10.1145/319056.319005 db/conf/sigcomm/sigcomm1985.html#GoudaT85