Applying formal specification in industry — Applying formal specification in industry — the latest coverage, the community and the facts.