Rudolf Herzig Nikolaos Vlachantonis TROLL light. 373-381 1995 conf/korso/1995fd Formal Development of Reactive Systems db/conf/korso/korso1995fd.html#HerzigV95