Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven (Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006)