Safety Process Improvement with POSE and Alloy.

Derek Mannering, Jon G. Hall, Lucia Rapanotti

Browse the full SAFECOMP paper archive.