From requirements to specifications: a formal approach.

Zhi Li, Jon G. Hall, Lucia Rapanotti

Browse the full ICSE paper archive.