szefirov at ot.ru wrote: > Here are two surveys (somewhat outdated) on the use of formal methods in > industry: > http://citeseer.ifi.unizh.ch/39426.html > http://citeseer.ifi.unizh.ch/craigen93international.html Both of these links are dead. Could you post author and title? Thanks Ben