Michael G. Hinchey James L. Rash Christopher Rouff A Formal Approach to Requirements-Based Programming. 339-345 2005 conf/ecbs/2005 ECBS http://doi.ieeecomputersociety.org/10.1109/ECBS.2005.7 db/conf/ecbs/ecbs2005.html#HincheyRR05