A High-level Synthesis of Embedded Composite Systems for Environmental Applications