Books by IEEE Symposium and Workshop on Engineering of Computer-Based Systems (1996 Friedrichshafen, Germany)