@进行中{阿德尔斯伯格IMSS18，title={基于特征的工作流组合的形式验证}，作者＝{Stephan Adelsberger和Bashar Igried以及Markus Moser和Vadim Savenkov以及Anton Setzer}，年份={2018年}，doi={10.1109/EDCC.2018.00039}，url={http://doi.ieecomputersociety.org/10.109/EDCC.2018.00039},研究人员={https://researchr.org/publication/AdelsbergerIMSS18},cites＝{0}，引用者={0}，页码={173-181}，booktitle={第14届欧洲可靠计算会议，EDCC 2018，Iași，罗马尼亚，2018年9月10日至14日}，publisher={IEEE计算机学会}，isbn={978-1-5386-8060-5}，}