Analisa keamanan sistem hibrid automata waktu dengan jumlahan kuadrat - , MEGAWATI, Noorma Yulia ([Yogyakarta] : Universitas Gadjah Mada, 2010)