Proceedings of the Sixth International Workshop on Scenarios and State Machines
ACM Digital Library