Authors: Grieskamp, W Heisel, M Dorr, H

Citation: W. Grieskamp et al., Specifying embedded systems with statecharts and Z: an agenda for cyclic software components, SCI COMP PR, 40(1), 2001, pp. 31-57