Global Specification And Validation Of Embedded Systems by Gabriela Nicolescu & Ahmed Jerraya