A layered approach to automated electrical safety analysis in automotive environments. - Chris J. Price; N. A. Snooke; S. D. Lewis (Comput. Ind., 2006)