Statecharts as Protocols for Objects. - Annette Laue; Matthias Liedtke; Daniel Moldt; Ivana Trickovic (Rigorous Object-Oriented Methods, 2000)