Dependable Systems and Software
Our work on battery-aware scheduling for nano satellites wins the best paper award at FM 2016.