Read eBook: embedded systems and software validation