Towards Dependable Software Requirement Specifications.

Stefan Scheer, Thomas Maier

Browse the full SAFECOMP paper archive.