@InProceedings{garrido_et_al:OASIcs.WCET.2012.81, author = {Garrido, Jorge and Brosnan, Daniel and de la Puente, Juan A. and Alonso, Alejandro and Zamorano, Juan}, title = {{Analysis of WCET in an experimental satellite software development}}, booktitle = {12th International Workshop on Worst-Case Execution Time Analysis}, pages = {81--90}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-41-5}, ISSN = {2190-6807}, year = {2012}, volume = {23}, editor = {Vardanega, Tullio}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2012.81}, URN = {urn:nbn:de:0030-drops-35592}, doi = {10.4230/OASIcs.WCET.2012.81}, annote = {Keywords: Real-time systems, embedded systems, timing analysis, WCET calculation} }