Preventing recurrence of industrial control system accident using assurance case. - Mirko Napolano; Fumio Machida; Roberto Pietrantuono; Domenico Cotroneo (ISSRE Workshops, 2015)