This book is currently available only in english language.

Practical Model-based Testing: A Tools Approach (Morgan Kaufmann Ed. 2007)
Authors:  Dr. Mark Utting, Dr. Bruno Legeard

Check this book on amazon.com