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