Designing Safe, Reliable Systems using Scade. - Parosh Aziz Abdulla; Johann Deneux; Gunnar Stålmarck; Herman Ågren; Ove Åkerlund (ISoLA (Preliminary proceedings), 2004)