diff --git a/README.md b/README.md index de0ea7a92b590eb8dac1e193b19146c41b4b8a12..86c5003c256ef63a313e481c76b58a3675b35d80 100644 --- a/README.md +++ b/README.md @@ -71,7 +71,7 @@ The sources packaged here are distributed under the GPLv3 license, see COPYING. ## Literature -[1] Tim Rheinfels, Maximilian Gaukler, and Peter Ulbrich: "A New Perspective on Criticality: Efficient State Abstraction and Runtime Monitoring of Mixed-Criticality Real-time Control Systems". ECRTS'23. DOI: 10.4230/LIPIcs.ECRTS.2023.16. +[1] Tim Rheinfels, Maximilian Gaukler, and Peter Ulbrich: "A New Perspective on Criticality: Efficient State Abstraction and Runtime Monitoring of Mixed-Criticality Real-time Control Systems". ECRTS'23. DOI: 10.4230/LIPIcs.ECRTS.2023.11. [2] Monia Dkhil et al.: "Interval Estimation for Discrete-Time Switched Linear Systems Based on $L_\infty$ Observer and Ellipsoid Analysis". IEEE Control Systems Letters, 5(1):13-–18, 2021. diff --git a/doc/references.bib b/doc/references.bib index 0fd73af8600983d0bde23ba4ff94a72e88be6e80..adf5f5cfd5ed7c7471a01a31f10bb51fc245aa4a 100644 --- a/doc/references.bib +++ b/doc/references.bib @@ -3,9 +3,8 @@ title = {{A New Perspective on Criticality: Efficient State Abstraction and Runtime Monitoring of Mixed-Criticality Real-time Control Systems}}, booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)}, year = {2023}, - doi = {10.4230/LIPIcs.ECRTS.2023.16}, - pages = {t.b.d.}, - notes = {Accepted}, + doi = {10.4230/LIPIcs.ECRTS.2023.11}, + pages = {11:1--11:26}, } @article{CSS21-Dkhil,