@inproceedings{7539bc9f546e4e15b3cd7cd206ba6b79,
title = "Formal Development and Assessment of a Reconfigurable On-Board Satellite System",
author = "Anton Tarasyuk and Inna Pereverzeva and Elena Troubitsyna and Timo Latvala and Laura Nummila",
year = "2012",
doi = "10.1007/978-3-642-33678-2_18",
language = "Odefinierat/ok{\"a}nt",
isbn = "978-3-642-33677-5",
pages = "210–222",
editor = "F Ortmeier and P Daniel",
booktitle = "Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings",
publisher = "Springer",
note = "International conference on Computer Safety, Reliability, and Security, SAFECOMP ; Conference date: 25-09-2012 Through 28-09-2012",
}