Exactly the information your subcontractor needs: DeSyRe — Decomposing system requirements | IEEE Conference Publication | IEEE Xplore