IEEE Symposium and Workshop on Engineering of Computer-Based Systems :proceedings, March 11-15, 1996, Friedrichshafen, Germany (IEEE Computer Society Press, 1996)