3 works on record
Software Requirements and Design
FME 2001 : Formal Methods for Increasing Software Productivity
Real Internet Architecture