Han Choi Sung Deok Cha Jae Yeon Jo Junbeom Yoo Hae Young Lee Wontae Kim 0001 Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. 112-121 2011 FGIT-CA/CES3 https://doi.org/10.1007/978-3-642-26010-0_13 conf/fgit/2011ca db/conf/fgit/ca2011.html#ChoiCJYLK11