Automating real-time multi-threaded application development. - Christian Riva; Moshe Krieger (CASCON, 1995)