2010-02-18 ■ tech papers Formal Methods Sara Jones, David Till, Ann M. Wrightson: Formal methods and requirements engineering: Challenges and synergies. 263-273