LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.

Sebastin Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Browse the full TACAS paper archive.