README, doc: update reference to paper

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.
 

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,