A Formalization Of The FIP Protocol Using Estelle | IEEE Conference Publication | IEEE Xplore