C-PLAD-SM: Extending Component Requirements with Use Cases and State Machines.

Kevin Gary, M. Brian Blake

Browse the full SERA paper archive.