Roel Wieringa David N. Jansen Techniques for Reactive System Design: The Tools in TRADE. 93-107 2001 conf/caise/2001 CAiSE http://link.springer.de/link/service/series/0558/bibs/2068/20680093.htm db/conf/caise/caise2001.html#WieringaJ01