Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTechHan Ho Choi, Won-Tae Kim, Sungdeok Cha et al.|Communications in computer and information science|2011Cited by 3