Bin Yu 0008 Zhenhua Duan Cong Tian 0001 Unified Bounded Model Checking for MSVL. 49-61 2014 SOFL+MSVL https://doi.org/10.1007/978-3-319-17404-4_4 conf/sofl/2014 db/conf/sofl/sofl2014.html#YuDT14