Books by IEEE/ACM International Workshop on Behavioral Modeling and Simulation (6th 2002 Santa Rosa, Calif.)