Automatically Realising Embedded Systems from High-Level Functional Models

A process for utilizing mineral-containing residue from coal liquefaction processes to produce a hydraulic cement. The residue is mixed with siliceous and calcareous matereals and compacted. The compacted solids are introduced into a kiln and fired to produce hydraulic cement clinker. The primary fuel for the clinker production is contained in the residue. The clinker is removed from the kiln and ground to produce cement.