Systems Engineering for Industrial Cyber–Physical Systems Using Aspects
Automatic Synthesis of Robust Embedded Control Software