Visible to the public CyberCardia- Compositional, Approximate, and Quantitative Reasoning for Medical CPSs