Implementing a Model Checker for LEGO. - Shenwei Yu; Zhaohui Luo (FME, 1997)