T. S. E. Maibaum Pauline Kan Kevin Lano Systematising Reactive System Design. 17-22 1998 conf/amast/1998 AMAST http://link.springer.de/link/service/series/0558/bibs/1548/15480017.htm db/conf/amast/amast98.html#MaibaumKL98