伯恩德·芬克贝纳 克里斯托弗·哈恩 马文·斯坦格 Leander Tentrup公司 336-363 2019 54 形式方法系统。设计。 三 https://doi.org/10.1007/s10703-019-00334-z https://www.wikidata.org/entity/Q91736867 db/journals/fmsd/fmsd54.html#FinkbeinerHST19