Pemodelan sederhana sistem kontrol elevator dengan fInite state machine (Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2008)