Techniques for Reactive System Design: The Tools in TRADE.

Roel J. Wieringa, David N. Jansen

Browse the full CaiSE paper archive.