马可·波扎诺 亚历山德罗·西马蒂 马可·罗维里 Joost-Pieter Katoen公司 越南元 托马斯·诺尔0001 aadl模型的验证和性能评估。 285-286 2009 ESEC/SIGSOFT FSE https://doi.org/10.1145/1595696.1595744 https://www.wikidata.org/entity/Q57801624 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#BozzanoCRKNN09