Robert Büssow Robert Geisler Marcus Klar Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. 71-87 http://link.springer.de/link/service/series/0558/bibs/1382/13820071.htm 1998 FASE db/conf/fase/fase98.html#BussowGK98