Applying formal specification in industry

Industrial software developers confront a bewildering array of software engineering techniques, each with its own promised benefits. The authors introduced formal methods into the specification and modeling activities of a security-critical system´s development. They gauged the methods´ effectiveness by comparing the results of the group that used them with those of the group that did not. They present their results in this paper