Pemodelan Finite State Automata Pada Switch Booting Sequence Artikel Ilmiah Peneliti: Rio Agathon Christian (672012011) Magdalena A. Ineke Pakereng, M.Kom. Program Studi Teknik Informatika Fakultas Teknologi Informasi Universitas Kristen Satya Wacana Salatiga November 2016