Discovering traces between textual requirements and logical models in the functional design of Printed Circuit Boards | IEEE Conference Publication | IEEE Xplore