@inproceedings{MSB+6,
title = {Architecture-Based Design: {A} Satellite On-Board Software Case Study },
author = {Mavridou, Anastasia and Stachtiari, Emmanouela and Bliudze, Simon and Ivanov, Anton and Katsaros, Panagiotis and Sifakis, Joseph},
year = {2016},
booktitle = {Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised Selected Papers},
pages = {260--279},
series = {Lecture Notes in Computer Science},
volume = {10231},
team = {RSD},
}
