1. Abke J, Bohl E, Henno C (1998) Emulation based real time testing of automotive applications. In: Proc of 4th IEEE international on-line testing workshop, pp 28–31
2. Baarir S, Braunstein C, Clavel R, Encrenaz E, Ilié J-M, Leveugle R, Mounier I, Pierre L, Poitrenaud D (2009) Complementary formal approaches for dependability analysis. In: Proc international symposium on defect and fault tolerance in VLSI systems. IEEE Comput Soc, Los Alamitos, pp 331–339
3. Bidgoli H (2006) Handbook of information security, vol 3. Wiley, New York
4. Lecture notes in computer science;A Biere,1999
5. Birnbaum E, Lozinskii EL (1999) The good old Davis-Putnam procedure helps counting models. J Artif Intell Res 10:457–477