Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation | IEEE Conference Publication | IEEE Xplore