Compositionality in dataflow synchronous languages: Specification and distributed code generation
scientific article; zbMATH DE number 1853137