Budiarto, Raden, and Dikaimin. 2017. “Implementasi Semantic-Aware Model Checker Untuk Mendeteksi Deep Bugs Pada Paxos Protocol Apache Cassandra”. Jurnal Ilmiah Komputasi 16 (3):175-86. https://ejournal.jak-stik.ac.id/index.php/komputasi/article/view/96.