Hot topic session 4A: Reliability analysis of complex digital systems. - Adrian Evans; Michael Nicolaidis; Rob Aitken; Burcin Aktan; Olivier Lauzeral (VTS, 2013)