I co-wrote a paper on the subject a couple years ago during my undergraduate, which I humbly share with you :)
A Case Study in JML-Assisted Software Development http://portal.acm.org/citation.cfm?id=1556581&preflayout...
Download: http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos:av...