2010 Forum on Specification & Design Languages (FDL 2010)ISBN: 9799923021464Platform/Publisher: IEEE Xplore / IETDigital rights: Users: Unlimited; Printing: Chapters; Download: Chapters Subjects: Computing and Processing; No description is available.