Testing Embedded Software - Broekman, Bart (Addison-Wesley)