STRUKTUR SISTEM TIPTOP108 DENGAN PENDEKATAN REAL-TIME DAN VERIFIKASI OTOMATIS