Wil Janssen Radu Mateescu Sjouke Mauw Peter Fennema Petra van der Stappen Model Checking for Managers. 92-107 1999 conf/spin/1999 SPIN http://link.springer.de/link/service/series/0558/bibs/1680/16800092.htm db/conf/spin/spin1999.html#JanssenMMFS99