Applying formal specification in industry — news, coverage & facts — IJR