Workshop on Next-Generation Cyber-Physical Systems, Sep 15th 2018, University of Virginia.