@第{zbMATH06275289条，作者={西马蒂、亚历山德罗和莫弗、塞尔吉奥和托内塔、斯特凡诺}，标题={基于{SMT}混合系统的场景验证}，FJournal＝{系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={42}，数字={1}，页码={46--66}，年份={2013}，语言={英语}，DOI＝{10.1007/s10703-012-0158-0}，关键词={03D05,68Q60,68T20,68Q45,03B44,03D78}，zbMATH={6275289}，Zbl={1284.03216}}