publication venue for Component Interface Documentation What do we Need and Why do we Need it? 2006 On specifying systems that connect to the physical world 2006 Chaos, radar clutter, and neural networks 1997 From requirements to architecture. 217:3-36. 2010
