Towards applying a safety analysis and verification method based on STPA to agile software development.

Yang Wang, Stefan Wagner

Browse the full ICSE paper archive.