Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools