SysML-based and Prolog-supported FMEA. - Fabio Scippacercola; Roberto Pietrantuono; Stefano Russo 001; Nuno Pedro Silva (ISSRE Workshops, 2015)

Common Safety Method for Risk Evaluation and Assessment (CSM-RA) and Hazard Analysis Tutorial: Managing Effectively Significant Changes in a Railway System. - Francisco Moreira 001; Nuno Pedro Silva (DSN Workshops, 2016)