OO Methods and Tools for Embedded Applications, The Mjolner BETA System. - Lars Blak; Jørgen Nørgaard (TOOLS (7), 1992)