@InProceedings{bla_et_al:LIPIcs.ECRTS.2017.26, author = {Bla{\ss}, Tobias and Hahn, Sebastian and Reineke, Jan}, title = {{Write-Back Caches in WCET Analysis}}, booktitle = {29th Euromicro Conference on Real-Time Systems (ECRTS 2017)}, pages = {26:1--26:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-037-8}, ISSN = {1868-8969}, year = {2017}, volume = {76}, editor = {Bertogna, Marko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2017.26}, URN = {urn:nbn:de:0030-drops-71589}, doi = {10.4230/LIPIcs.ECRTS.2017.26}, annote = {Keywords: write-back caches, real-time systems, WCET analysis, cache analysis} }