Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTechHan Ho Choi, Won-Tae Kim, Hae‐Young Lee et al.|Communications in computer and information science|2011Cited by 3
An ETRI CPS Modeling Language for Specifying Hybrid SystemsSanghyun Yoon, Junbeom Yoo, Ingeol Chun et al.|Journal of KIISE|2015Cited by 1