Requirements to Design to Coding (R2D2C) and Requirements-Based Programming (RBP) oriented papers (these are some sample papers, the list is far from being comprehensive you have been warned):

• http://isd.gsfc.nasa.gov/Papers/DOC/aireview1.pdf
• http://isd.gsfc.nasa.gov/Papers/DOC/PaperAToolforMODIFIEDidpt05.pdf
• http://isd.gsfc.nasa.gov/Papers/DOC/ApproachtoGenerating.pdf
• http://isd.gsfc.nasa.gov/Papers/DOC/Formal_Reqmts_iceccs.pdf
• http://isd.gsfc.nasa.gov/Papers/DOC/Rashrequire.pdf
• http://isd.gsfc.nasa.gov/Papers/DOC/verificationissues.pdf
• http://isd.gsfc.nasa.gov/Papers/DOC/seefm.pdf