related documents Component Interface Documentation What do we Need and Why do we Need it? Conferences On specifying systems that connect to the physical world Conferences