Robert L. Probert Ning Lew Protocol quality engineering: addressing industry concerns about formal methods. 1258-1267 1996 19 Comput. Commun. 14 https://doi.org/10.1016/S0140-3664(96)01159-0 https://www.wikidata.org/entity/Q127065714 db/journals/comcom/comcom19.html#ProbertL96