Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation