Nano, quantum and molecular computing: implications to high level design and validation (Kluwer Academic, 2004)