STATEMATE and cruise control: a case study.

Sharon L. Smith, Susan L. Gerhart

Browse the full COMPSAC paper archive.