A reference-based specification tool for creating reliable library development specifications | IEEE Conference Publication | IEEE Xplore