@article{LRS+0,
title = { Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation },
author = {Liu, Mengqi and Rieg, Lionel and Shao, Zhong and Gu, Ronghui and Costanzo, David and Kim, Jung{-}Eun and Yoon, Man{-}Ki},
year = {2020},
journal = {Proc. {ACM} Program. Lang. -- POPL 2020 Proceedings},
pages = {20:1--20:31},
volume = {4},
team = {SYNC, axe_FormalProofs},
}