Executable Requirements for Embedded Systems.

Pamela Zave, Raymond T. Yeh

Browse the full ICSE paper archive.