João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell: Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. APSEC 2007: 294-301