C-based System Development of Asynchronous Distributed Systems. - Mario Korte; Frank Slomka (FDL, 2007)