LTSA-MSC

LTSA-MSC: Tool support for behaviour model elaboration using implied scenarios. We present a tool that supports the elaboration of behaviour models and scenario-based specification by providing scenario editing, behaviour model synthesis, and model checking for implied scenarios.