NuEditor - A Tool Suite for Specification and Verification of NuSCR. - Jaemyung Cho; Junbeom Yoo; Sung Deok Cha (SERA, 2004)