Generating Requirements Documents for Embedded Systems: A Device Knowledge-Guided Approach | IEEE Conference Publication | IEEE Xplore