Proceedings of the 2006 international workshop on Scenarios and state machines models, algorithms, and tools
ACM Digital Library