5th international workshop on scenarios and state machines: models algorithms and tools : SCESM '06 : held at the 28th international conference on software engineering : May 20-28, 2006 : Shanghai, China. : 5th intl. workshop on scenarios and state machines: models-algorithms-and tools : ICSE'06 workshop : May 2006, Shanghai, China.