Verification of Failure Impact by Model checking
- Lead participant: Andrea Bobbio
- Lead participant: Daniele Codetta Raiteri
- Lead participant: Stefano Di Nolfo
- Lead participant: Andrea Guiotto
- Lead participant: Luigi Portinale
- Lead participant: Roberta Terruggia