Behavioral Modeling for Embedded Systems and Technologies