Combining Theorem Proving and Continuous Models in Synchronous Design. - Simin Nadjm-Tehrani; Ove Åkerlund (World Congress on Formal Methods, 1999)

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