Specifying Time-Sensitive Systems with TLA+.

Hehua Zhang, Ming Gu, Xiaoyu Song

Browse the full COMPSAC paper archive.