David A. Duce David J. Duke Giorgio P. Faconti Ivan Herman The Changing Face of Standardization: A Place for Formal Methods? 1-20 1999 11 Formal Asp. Comput. 1 http://link.springer.de/link/service/journals/00165/bibs/9011001/90110001.htm db/journals/fac/fac11.html#DuceDFH99