this book constitutes the refereed proceedings of the 10th international sdl forum, sdl 2001, held in copenhagen, denmark in june 2001.the 26 revised full papers presented were carefully reviewed and selected for presentation. the book offers topical sections on tools, language evolution, combined sdl and uml, unified testing, timing, unified itu-t languages, sdl applications, msc, and test and verification.