Max Fuchs Jan Philipps Focus. 185-197 1995 conf/korso/1995fd Formal Development of Reactive Systems db/conf/korso/korso1995fd.html#FuchsP95