Miriam C. Bergue Alves, Doron Drusinsky, J. Bret Michael, Man-tak Shing. Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. In 6th International Conference on System of Systems Engineering, SoSE 2011, Albuquerque, New Mexico, USA, June 27-30, 2011. pages 155-160, IEEE, 2011. [doi]
Abstract is missing.