Requirements documentation: why a formal basis is essential | IEEE Conference Publication | IEEE Xplore