A Framework for Multi-layered Requirements Documentation and Analysis | IEEE Conference Publication | IEEE Xplore