Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.

Robert Bssow, Robert Geisler, Marcus Klar

Browse the full FASE paper archive.