Formal correctness, safety, dependability, and performance analysis of a satellite. - Marie-Aude Esteve; Joost-Pieter Katoen; Viet Yen Nguyen; Bart Postma; Yuri Yushtein (ICSE, 2012)