Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.

Wolfgang Grieskamp, Maritta Heisel, Heiko Drr

Browse the full FASE paper archive.