Rigorously analyzing & quantifying the safety of autonomous systems & their components