挪威科宁 伯恩德·芬克贝纳 塞萨尔·桑切斯0001 Leander Tentrup公司 验证Hyperliveness。 121-139 2019 CAV（1） https://doi.org/10.1007/978-3-030-25540-4_7 conf/cav/2019-1 db/conf/cav/cav2019-1.html#CoenenFST19