Michael Fastenbauer, Heinz Saria: HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation. ESEC 1989: 324-335