Kwanwoo Lee Kyo Chul Kang Eunman Koh Wonsuk Chae Bokyoung Kim Byoung Wook Choi Domain-oriented engineering of elevator control software. 3-22 2000 conf/splc/2000 SPLC db/conf/splc/splc2000.html#LeeKKCKC00