Entity structure based design methodology: a LAN protocol example | IEEE Journals & Magazine | IEEE Xplore