Visible to the public Compositional, Approximate, and Quantitative Reasoning for Medical CPS