Visible to the public Holistic Design Methodology for Automated Implementation of Human-in-the-Loop Cyber-Physical Systems