selected publications chapter Approach for a Formal Verification of a Bit-serial Pipelined Architecture. Springer eBooks. 47-56. 2007