Title: A formal model of the MAC layer of an improved FDDI protocol