Model Checking for Managers. - Wil Janssen; Radu Mateescu 001; Sjouke Mauw; Peter Fennema; Petra van der Stappen (SPIN, 1999)

The ASpect project case: a model for SME adoption of ICT innovation. - Piet Boekhoudt; Petra van der Stappen (ICEC, 2004)