Leszek Holenderski LUSTRE. 101-112 1995 conf/korso/1995fd Formal Development of Reactive Systems db/conf/korso/korso1995fd.html#Holenderski95