[Pharo-project] Programming interactions with State Machines