by João M. Fernandes
"This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations"--Provided by publisher.