Automation of analysis and simulation for understanding of large real-time Ada software | IEEE Conference Publication | IEEE Xplore