hardware in the loop testing book