Using Process Models in System Assurance.

Richard Hawkins, Thomas Richardson, Tim Kelly

Browse the full SAFECOMP paper archive.