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