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