Protocol quality engineering: addressing industry concerns about formal methods. - Robert L. Probert; Ning Lew (Comput. Commun., 1996)