Architecture-Based Design: A Satellite On-Board Software Case Study. - Anastasia Mavridou; Emmanouela Stachtiari; Simon Bliudze; Anton B. Ivanov; Panagiotis Katsaros; Joseph Sifakis (FACS, 2016)

Robust Software Development for University-Built Satellites. - Anton B. Ivanov; Simon Bliudze (CoRR, 2020)