From sequence diagrams to behaviour models - Uchitel, S; Kramer, J; Magee, J (2001)