Scenarios and state machines: models, algorithms, and tools

SCESM 2006: Shanghai, China