Steven Gordon, Jonathan Billington: Modelling the WAP Transaction Service using Coloured Petri Nets. MDA 1999: 109-118