2004-10-091 Industrial usage of Formal Methods – an Ericsson view Jens E. Kristensen [email protected].