An integrated environment of S/W specification and V&V for safety-critical systems. - Seo Ryong Koo; Poong-Hyun Seong; Junbeom Yoo; Sung Deok Cha; Cheong Youn; Hyun-chul Han (IASTED Conf. on Software Engineering, 2004)