Electronics system design techniques for safety critical applications (2009)