@article{1476540,
      recid = {1476540},
      author = {Petrucci, Laure, and Sproston, Jeremy,},
      title = {Formal modeling and analysis of timed systems : 21st  International Conference, FORMATS 2023, Antwerp, Belgium,  September 19-21, 2023, Proceedings /. FORMATS (Conference)},
      pages = {1 online resource (xiv, 181 pages) :},
      note = {Includes author index.},
      abstract = {This book constitutes the refereed proceedings of the 21st  International Conference on Formal Modeling and Analysis of  Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in  September 2023. The 9 full papers presented in this book  were carefully reviewed and selected from 21 submissions.  The proceedings also contain one invited paper in full  paper length. The papers deal with real-time issues in  hardware design, performance analysis, real-time software,  scheduling, semantics, and verification of real-timed,  hybrid, and probabilistic systems.},
      url = {http://library.usi.edu/record/1476540},
      doi = {https://doi.org/10.1007/978-3-031-42626-1},
}