@第{Gabmeyer2017条，author=“加布迈耶、塞巴斯蒂安和考夫曼、佩特拉塞德尔、玛蒂娜和果戈拉、马丁和卡佩尔、格蒂”，title=“软件模型形式验证技术的基于特征的分类”，journal=“软件{\&}系统建模”，year=“2017”，pages=“1--26”，issn=“1619-1374”，}