Applying formal specification in industry — latest news, discussion & facts — IJR