| Combining PHM information and system architecture to support aircraft maintenance planning | 3 | 0.65 | 2013 |
| Constructive model-based analysis for safety assessment. | 3 | 0.39 | 2012 |
| Evolving a safe system design iteratively | 8 | 0.53 | 2010 |
| Systematic model-based safety assessment via probabilistic model checking | 9 | 0.54 | 2010 |
