IEEE International Workshop on Behavioral Modeling and Simulation (2007 San Jose, Calif.)