This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi?cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni?ed modelling languages recommended by the ITU (ASN.1, MSC, SDL,...

This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the best design. This follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). The winning entry from SAM 2002 is described in the last paper in this volume. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Descr- tion Language ?rst standardized in the 1976 Orange Book of the...

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, and language implementation.

This book constitutes revised papers of the proceedings of the 7th International Workshop on System Analysis and Modeling, SAM 2012, held in Innsbruck, Austria, in October 2012. The 12 papers presented were carefully reviewed and selected from 27 submissions. In addition, the book contains two keynote speeches in full-paper length. The contributions are organized in topical sections named: test and analysis, language enhancements, fuzzy subjects, components and composition, and configuring and product lines.

"Reed Writes As Only A Cop Can.... Impressive And Dramatic." --Nelson Demille

Take One Deranged Killer. Add One Determined Cop.
You Get One Deadly Obsession...

From the moment he sees the young woman's body in her hotel bathtub, homicide detective Jack Murphy knows he's looking at a truly demented but brilliantly designed puzzle. She's been drained of blood. Missing her left hand--and the killer left a special message just for him. Hours later, he sees her severed hand arranged on a second victim's body. The newspaper has the gruesome details. The FBI has a theory. But only Murphy...

"Reed Writes As Only A Cop Can.... Impressive And Dramatic." --Nelson DeMille

Killing Has Become A Team Sport. To Win The Game, Detective Jack Murphy Will Have To Identify All The Players--Whatever The Cost.

The body parts of a young woman have shown up in the town landfill and homicide detective Jack Murphy is on the case. But when the victim's identity is revealed, the horrific crime takes an even darker and far more personal turn. Nina Parsons was not only a deputy prosecutor, but the rumored lover of the man Jack's ex-wife is about to marry: the Chief Deputy Prosecutor. Now Jack must...

Detective Jack Murphy Is Back-on the trail of a criminal mastermind who kills for profit and tortures for pleasure.

In Jack Murphy's experience, the killers who blend in are the hardest to catch. But none are as elusive-or efficient-as Mr. Smith. A man of average height, weight and build, Mr. Smith is as ordinary as his name. Which makes it easy for him to get close to his targets. To kill without conscience. To use every weapon at his disposal to raise the stakes in a global game of terror and death. Mr. Smith is no ordinary killer. But Jack Murphy is no ordinary cop . . ....