Sachoun Park, Gihwon Kwon: SAT based Verification Tool for Labeled Transition System. SERA 2007: 221-226