4th International Workshop on Scenarios and State Machines:, Models, Algorithms and Tools (SCESM'05) | IEEE Conference Publication | IEEE Xplore