Real time multi processing systems for launch vehicle applications 6D Trajectory Simulation System for Closed loop testing of On Board Computers through Formal Specification Methods
