6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07) | IEEE Conference Publication | IEEE Xplore