TY  - RPRT
TI  - Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
AU  - Yilong Yang
AU  - Xiaoshan Li
AU  - Quan Zu
PY  - 2018
DO  - 10.1109/access.2019.2899761
UR  - https://arxiv.org/abs/1803.05362
ID  - 1803.05362
ER  -