@unpublished{akshay:hal-03129402,
    Author = {Akshay, Sundararaman and Genest, Blaise and H{\'e}lou{\"e}t, Lo{\"\i}c and Krishna, S. and Roychowdhury, Sparsa},
    File = {Resilience of Timed Systems - ResilienceWD - a - j.pdf},
    Keywords = {Resilience ; Integer-resets ; Fault tolerance ; Model checking ; Timed automata},
    Month = {December},
    Note = {working paper or preprint},
    PDF = {https://hal.inria.fr/hal-03129402/file/ResilienceWD.pdf},
    Title = {{Resilience of Timed Systems}},
    URL = {https://hal.inria.fr/hal-03129402},
    Year = {2020},
    bdsk-url-1 = {https://hal.inria.fr/hal-03129402},
    bdsk-url-2 = {https://doi.org/10.1145/nnnnnnn.nnnnnnn},
    date-added = {2021-02-14 13:08:37 +0100},
    date-modified = {2021-02-14 13:08:37 +0100},
    hal_id = {hal-03129402},
    hal_version = {v1},
    doi = {10.1145/nnnnnnn.nnnnnnn}
}

@unpublished{akshay:hal-03129402, Author = {Akshay, Sundararaman and Genest, Blaise and H{\'e}lou{\"e}t, Lo{\"\i}c and Krishna, S. and Roychowdhury, Sparsa}, File = {Resilience of Timed Systems - ResilienceWD - a - j.pdf}, Keywords = {Resilience ; Integer-resets ; Fault tolerance ; Model checking ; Timed automata}, Month = {December}, Note = {working paper or preprint}, PDF = {https://hal.inria.fr/hal-03129402/file/ResilienceWD.pdf}, Title = {{Resilience of Timed Systems}}, URL = {https://hal.inria.fr/hal-03129402}, Year = {2020}, bdsk-url-1 = {https://hal.inria.fr/hal-03129402}, bdsk-url-2 = {https://doi.org/10.1145/nnnnnnn.nnnnnnn}, date-added = {2021-02-14 13:08:37 +0100}, date-modified = {2021-02-14 13:08:37 +0100}, hal_id = {hal-03129402}, hal_version = {v1}, doi = {10.1145/nnnnnnn.nnnnnnn} }