The semantics and execution of a synchronous block-diagram language.
scientific article; zbMATH DE number 1963787