Visible to the public Composable and Systems Technology for High Confidence Cyber-Physical Systems Workshop