David N. Jansen, Pavithra Prabhakar Formal Modeling and Analysis of Timed Systems - 1st ed. 2018 - Springer International Publishing 2018 - 11022 - Lecture Notes in Computer Science . ISBN: 978-3-030-00151-3 ISSN: 1611-3349