Behavioral Modeling for Embedded Systems and Technologies door Luis Gomes & Joao M. Fernandes