An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software