Abstract: Manually extracting device knowledge from dense hardware manuals for requirements elicitation is a timeconsuming and error-prone bottleneck in embedded systems development. While Large ...