Book Embedded Systems Design: An Introduction To Processes, Tools And Techniques