Books by International Workshop on Model, Design and Validation (1st 2004 Rennes, France) on BookTides.