Combining conceptual modelling and formal methods to design control systemsVain, Jüri; Hooman, J.Selected papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 19971997 / p. 109-118

From design formulas to parallel implementationsKääramees, Marko; Hansen, M.Selected Papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 19971997 / p. 129-136