selected publications academic article The FEI3 readout chip for the ATLAS pixel detector. Nuclear Instruments and Methods in Physics Research. 565:178-187. 2006 conference paper Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. . 2011