Industrialising Formal Methods for Telecommunications.

M. T. Norris Sinclair Guillaume Stockman Industrialising Formal Methods for Telecommunications. 159-175 1989 conf/esec/1989 ESEC db/conf/esec/esec89.html#NorrisS89