A method for developing UML state machines.

Christine Choppy, Gianna Reggio

Browse the full SAC paper archive.