Software partitioning for safety-critical airborne systems in practise - Keuning, M.F.R. (My University, 1999)