Trading legibility against implementability in requirement specifications: an experimental assessment | IEEE Conference Publication | IEEE Xplore